A constructive proof of the Stone-Weierstrass theorem

DOI10.1016/S0022-4049(96)00160-0zbMath0873.46017OpenAlexW1977576132MaRDI QIDQ678829

Christopher J. Mulvey, Bernhard Banaschewski

Publication date: 9 October 1997

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

Full work available at URL: https://doi.org/10.1016/s0022-4049(96)00160-0

zbMATH Keywords

Grothendieck toposGelfand duality theorem

Mathematics Subject Classification ID

Topoi (18B25) Rings and algebras of continuous, differentiable or analytic functions (46E25) Presheaves and sheaves in general topology (54B40)

Related Items

Constructive Gelfand duality for C*-algebras ⋮ A Direct Constructive Proof of a Stone-Weierstrass Theorem for Metric Spaces ⋮ Presenting the frame of the unit circle. ⋮ Bidirectional active control of structures with type-2 fuzzy PD and PID ⋮ Point-free version of Kakutani duality ⋮ About Stone's notion of spectrum ⋮ Constructive pointfree topology eliminates non-constructive representation theorems from Riesz space theory ⋮ Topos Quantum Logic and Mixed States ⋮ A globalisation of the Gelfand duality theorem ⋮ Order-theoretic, topological, categorical redundancies of interval-valued sets, grey sets, vague sets, interval-valued ``intuitionistic sets, ``intuitionistic fuzzy sets and topologies

Cites Work

• An elementary proof of a fundamental theorem in the theory of Banach algebras
• Stone-Čech compactification of locales. II
• Banach sheaves
• A globalisation of the Gelfand duality theorem
• The spectral theory of commutative C^∗-algebras: The constructive spectrum
• A non-commutative Gel'fand-Naimark theorem
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item