A Direct Constructive Proof of a Stone-Weierstrass Theorem for Metric Spaces

DOI10.1007/978-3-319-40189-8_37zbMath1477.03253OpenAlexW2478276311MaRDI QIDQ3188276

Iosif Petrakis

Publication date: 17 August 2016

Published in: Pursuit of the Universal (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-40189-8_37

Mathematics Subject Classification ID

Metric spaces, metrizability (54E35) Constructive and recursive analysis (03F60) Applications of computability and recursion theory (03D80)

Related Items

Unnamed Item ⋮ McShane-Whitney pairs

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A pointwise characterization of functions of bounded variation on metric spaces
• Approximations by Lipschitz functions generated by extensions.
• Reflections on function spaces
• Two subcategories of apartness spaces
• A constructive proof of the Stone-Weierstrass theorem
• About Stone's notion of spectrum
• Relating Bishop's function spaces to neighbourhood spaces
• Quasi-apartness and neighbourhood spaces
• Constructive Gelfand duality for C*-algebras
• Completely Regular Bishop Spaces
• The Urysohn Extension Theorem for Bishop Spaces