About Stone's notion of spectrum

DOI10.1016/j.jpaa.2004.08.024zbMath1061.06031OpenAlexW2066205659MaRDI QIDQ1772250

Thierry Coquand

Publication date: 18 April 2005

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jpaa.2004.08.024

zbMATH Keywords

constructive mathematicsgeneral theory of spectrarepresentation theorems for ordered ringsrings of functions on locales

Mathematics Subject Classification ID

Frames, locales (06D22) Other constructive mathematics (03F65) Real-valued functions in general topology (54C30) Ordered rings, algebras, modules (06F25) Ordered rings (13J25)

Related Items (17)

Constructive Gelfand duality for C*-algebras ⋮ A Direct Constructive Proof of a Stone-Weierstrass Theorem for Metric Spaces ⋮ Topos models for physics and topos theory ⋮ THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY ⋮ Bohrification of operator algebras and quantum logic ⋮ The space of measurement outcomes as a spectral invariant for non-commutative algebras ⋮ A comparison of two topos-theoretic approaches to quantum theory ⋮ Locatedness and overt sublocales ⋮ A formal proof of the projective Eisenbud-Evans-Storch theorem ⋮ A constructive notion of codimension ⋮ Point-Free Spectra of Linear Spreads ⋮ THE GELFAND SPECTRUM OF A NONCOMMUTATIVE C*-ALGEBRA: A TOPOS-THEORETIC APPROACH ⋮ Constructive pointfree topology eliminates non-constructive representation theorems from Riesz space theory ⋮ Intuitionistic quantum logic of an \(n\)-level system ⋮ Space of valuations ⋮ A topos for algebraic quantum theory ⋮ A globalisation of the Gelfand duality theorem

Cites Work

• Normal spectral spaces and their dimensions
• A constructive proof of the Stone-Weierstrass theorem
• Zum Darstellungssatz von Kadison-Dubois
• A globalization of the Hahn-Banach theorem
• Inductively generated formal topologies.
• Anneaux preordonnes
• The spectral theory of commutative C^∗-algebras: The constructive spectrum
• The spectral theory of commutative C^∗-algebras: The constructive Gelfand-Mazur theorem
• Algebraic integration theory
• A General Theory of Spectra. I
• A General Theory of Spectra
• Dynamical method in algebra: Effective Nullstellensätze
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: About Stone's notion of spectrum