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