A constructive proof of the Gelfand--Kolmogorov theorem

DOI10.1023/B:APCS.0000018250.65771.5EMaRDI QIDQ1430173zbMATH OpenFDO

Authors He Wei

Publication date 27 May 2004

Published in Applied Categorical Structures (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/B:APCS.0000018250.65771.5E

zbMATH Keywords

localenucleusStone-Čech compactification

Mathematics Subject Classification ID

Rings and algebras of continuous, differentiable or analytic functions (46E25) Real-valued functions in general topology (54C30)

Recommendations

• A generalization of the Gelfand-Kolmogoroff theorem
• A constructive proof of Kirszbraun's theorem
• A constructive proof of Gleason's theorem
• scientific article; zbMATH DE number 4198022
• A constructive proof of the Beurling-Rudin theorem
• scientific article; zbMATH DE number 3038072
• A generalisation of a theorem of Koldunov with an elementary proof
• scientific article; zbMATH DE number 1960288
• A probabilistic proof of the <scp>Perron–Frobenius</scp> theorem
• Proof of a Conjecture of Kostant

Cited in

(12)

• Constructing Banaschewski compactification without Dedekind completeness axiom
• Remarks on completely regular Lindelöf reflection of locales
• Quantum spaces
• The Stone-Čech compactification and the cozero lattice in pointfree topology
• Localic metric spaces and the localic Gelfand duality
• On the existence of Stone-Čech compactification
• Completely regular proper reflection of locales over a given locale
• Formal topology and constructive mathematics: the Gelfand and Stone-Yosida representation theorems
• A note on proper maps of locales
• Stone-Čech compactification of locales. II
• On a constructive proof of Kolmogorov's superposition theorem
• Completely regular paracompact reflection of locales

This page was built for publication: A constructive proof of the Gelfand--Kolmogorov theorem

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