36 citations · 143 across the 40 of their papers we have counts for
Showing 2008Show all
3 papers · 1 filter
math.FA2008
Formal topology and constructive mathematics: the Gelfand and Stone-Yosida representation theorems
Thierry Coquand, Bas Spitters
We present a constructive proof of the Stone-Yosida representation theorem for Riesz spaces motivated by considerations from formal topology. This theorem is used to derive a repre…
math.LO2008★ 36 cited
Integrals and Valuations
Thierry Coquand, Bas Spitters
We construct a homeomorphism between the compact regular locale of integrals on a Riesz space and the locale of (valuations) on its spectrum. In fact, we construct two geometric th…
math.FA2008★ 9 cited
Constructive Gelfand duality for C*-algebras
Thierry Coquand, Bas Spitters
We present a constructive proof of Gelfand duality for C*-algebras by reducing the problem to Gelfand duality for real C*-algebras.