Formal topology and constructive mathematics: the Gelfand and Stone-Yosida representation theorems

zbMath1120.03049arXiv0808.2705MaRDI QIDQ5310879

Thierry Coquand, Bas Spitters

Publication date: 15 October 2007

Full work available at URL: https://arxiv.org/abs/0808.2705

zbMATH Keywords

constructive mathematics\(f\)-algebraRiesz spaceaxiom of choice

Mathematics Subject Classification ID

Other constructive mathematics (03F65) Ordered topological linear spaces, vector lattices (46A40) Constructive functional analysis (46S30)

Related Items (9)

Bohrification of operator algebras and quantum logic ⋮ Some further results on pointfree convex geometry ⋮ Fundamental results for pointfree convex geometry ⋮ Locatedness and overt sublocales ⋮ Constructive pointfree topology eliminates non-constructive representation theorems from Riesz space theory ⋮ Zero sets of univariate polynomials ⋮ Intuitionistic quantum logic of an \(n\)-level system ⋮ Space of valuations ⋮ A topos for algebraic quantum theory

This page was built for publication: Formal topology and constructive mathematics: the Gelfand and Stone-Yosida representation theorems