Constructive pointfree topology eliminates non-constructive representation theorems from Riesz space theory

DOI10.1007/S11083-010-9147-3zbMATH Open1200.03044arXiv0807.2454OpenAlexW3098887652MaRDI QIDQ981685FDOQ981685

Authors: Bas Spitters 

Publication date: 2 July 2010

Published in: Order (Search for Journal in Brave)

Abstract: In Riesz space theory it is good practice to avoid representation theorems which depend on the axiom of choice. Here we present a general methodology to do this using pointfree topology. To illustrate the technique we show that almost f-algebras are commutative. The proof is obtained relatively straightforward from the proof by Buskes and van Rooij by using the pointfree Stone-Yosida representation theorem by Coquand and Spitters.

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

Recommendations

• Formal topology and constructive mathematics: the Gelfand and Stone-Yosida representation theorems
• scientific article; zbMATH DE number 2112008
• Pointfree prime representation of real Riesz maps
• Point-free version of Kakutani duality
• Pointfree spectra of Riesz spaces

zbMATH Keywords

axiom of choiceformal topologyRiesz spaceconstructive analysis

Mathematics Subject Classification ID

Frames, locales (06D22) Ordered rings, algebras, modules (06F25) Ordered topological linear spaces, vector lattices (46A40) Axiom of choice and related propositions (03E25) Constructive and recursive analysis (03F60)

Cites Work

• Sheaves in geometry and logic: a first introduction to topos theory
• Functional calculus on Riesz spaces
• A globalisation of the Gelfand duality theorem
• The spectral theory of commutative C^∗-algebras: The constructive spectrum
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A topos for algebraic quantum theory
• Title not available (Why is that?)
• Small Riesz spaces
• Lattice-ordered groups
• Two Applications of Logic to Mathematics
• Almost \(f\)-algebras: Commutativity and the Cauchy-Schwarz inequality
• On the representation of the vector lattice
• About Stone's notion of spectrum
• Bohrification of operator algebras and quantum logic
• Title not available (Why is that?)
• Formal topology and constructive mathematics: the Gelfand and Stone-Yosida representation theorems
• Intuitionistic quantum logic of an \(n\)-level system
• Compact spaces and distributive lattices.
• A General Theory of Spectra
• Title not available (Why is that?)
• A constructive proof of the Stone-Weierstrass theorem
• Completely positive maps into corona algebras
• Sur quelques notions fondamentales dans la théorie générale des opérations linéaires
• The spectral theory of commutative C^∗-algebras: The constructive Gelfand-Mazur theorem

Cited In (6)

• On some peculiar aspects of the constructive theory of point-free spaces
• Pointfree spectra of Riesz spaces
• Pointfree prime representation of real Riesz maps
• Point-free version of Kakutani duality
• Title not available (Why is that?)
• Formal topology and constructive mathematics: the Gelfand and Stone-Yosida representation theorems

This page was built for publication: Constructive pointfree topology eliminates non-constructive representation theorems from Riesz space theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q981685)