36 citations · 36 across the 2 of their papers we have counts for
2 papers
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…