Non-Archimedean GNS construction and non-Archimedean Krein-Milman theorem - Mihara, Tomoki (Array, 2017)