45 citations · 398 across the 36 of their papers we have counts for
Showing math.FAShow 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.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.
math.FA2008
Constructive pointfree topology eliminates non-constructive representation theorems from Riesz space theory
Bas Spitters
In Riesz space theory it is good practice to avoid representation theorems which depend on the axiom of choice. Here we present a general methodology to do this using pointfree top…