collaborators

1 paper

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…