36 citations · 143 across the 40 of their papers we have counts for
Showing math.FAShow all
2 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.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.