A constructive proof of the Stone-Weierstrass theorem
From MaRDI portal
Cites work
- scientific article; zbMATH DE number 3672982 (Why is no real title available?)
- scientific article; zbMATH DE number 3678538 (Why is no real title available?)
- scientific article; zbMATH DE number 3742211 (Why is no real title available?)
- scientific article; zbMATH DE number 3787631 (Why is no real title available?)
- scientific article; zbMATH DE number 3574077 (Why is no real title available?)
- A globalisation of the Gelfand duality theorem
- A non-commutative Gel'fand-Naimark theorem
- An elementary proof of a fundamental theorem in the theory of Banach algebras
- Banach sheaves
- Stone-Čech compactification of locales. II
- The spectral theory of commutative C∗-algebras: The constructive spectrum
Cited in
(11)- Topos quantum logic and mixed states
- Bidirectional active control of structures with type-2 fuzzy PD and PID
- About Stone's notion of spectrum
- A direct constructive proof of a Stone-Weierstrass theorem for metric spaces
- A measurable version of the Stone-Weierstrass theorem
- Constructive pointfree topology eliminates non-constructive representation theorems from Riesz space theory
- Presenting the frame of the unit circle.
- Order-theoretic, topological, categorical redundancies of interval-valued sets, grey sets, vague sets, interval-valued ``intuitionistic sets, ``intuitionistic fuzzy sets and topologies
- Constructive Gelfand duality for C*-algebras
- A globalisation of the Gelfand duality theorem
- Point-free version of Kakutani duality
This page was built for publication: A constructive proof of the Stone-Weierstrass theorem
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q678829)
