Constructive pointfree topology eliminates non-constructive representation theorems from Riesz space theory
From MaRDI portal
Publication:981685
DOI10.1007/S11083-010-9147-3zbMath1200.03044arXiv0807.2454OpenAlexW3098887652MaRDI QIDQ981685
Publication date: 2 July 2010
Published in: Order (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/0807.2454
Constructive and recursive analysis (03F60) Frames, locales (06D22) Ordered rings, algebras, modules (06F25) Ordered topological linear spaces, vector lattices (46A40) Axiom of choice and related propositions (03E25)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Bohrification of operator algebras and quantum logic
- A constructive proof of the Stone-Weierstrass theorem
- Intuitionistic quantum logic of an \(n\)-level system
- A topos for algebraic quantum theory
- Sheaves in geometry and logic: a first introduction to topos theory
- Functional calculus on Riesz spaces
- Compact spaces and distributive lattices.
- Almost \(f\)-algebras: Commutativity and the Cauchy-Schwarz inequality
- About Stone's notion of spectrum
- A globalisation of the Gelfand duality theorem
- Sur quelques notions fondamentales dans la théorie générale des opérations linéaires
- Lattice-ordered groups
- The spectral theory of commutative C∗-algebras: The constructive spectrum
- The spectral theory of commutative C∗-algebras: The constructive Gelfand-Mazur theorem
- Completely positive maps into corona algebras
- Two Applications of Logic to Mathematics
- Small Riesz spaces
- Formal topology and constructive mathematics: the Gelfand and Stone-Yosida representation theorems
- A General Theory of Spectra
- On the representation of the vector lattice
This page was built for publication: Constructive pointfree topology eliminates non-constructive representation theorems from Riesz space theory