Abstract
Using an appropriate notion of separating subring, it is shown that the classical Stone-Weierstrass Theorem for compact Hausdorff spaces is ultimately a result about f-rings. As an application the constructively valid Stone-Weierstrass Theorem for compact completely regular frames is obtained.
Similar content being viewed by others
References
Banaschewski, B. (1997) Pointfree topology and the spectra of f-rings, in Ordered Algebraic Structures. Proceedings of the Curaçao Conference June 1995, Kluwer Academic Publishers, Dordrecht, pp. 123-148.
Banaschewski, B. (1997) The Real Numbers in Pointfree Topology, Textos de Matemática Série B, No. 12, Departamento de Matematica da Universidade de Coimbra.
Banaschewski, B. (1998) The frame of saturated ℓ-ideals of an f-ring, Unpublished notes, August 1998.
Banaschewski, B. and Harting, R. (1985) Lattice aspects of radical ideals and choice principles, Proc. London Math. Soc. 50, 385-404.
Banaschewski, B. and Mulvey, C. J. (1997) A constructive proof of the Stone-Weierstrass Theorem, J. Pure Appl. Alg. 116, 25-40.
Bigard, A., Keimel, K. and Wolfenstein, S. (1997) Groupes et Anneaux Réticulés, Lecture Notes in Math. 608, Springer-Verlag, Berlin.
Gillman, L. and Jerison, M. (1960) Rings of Continuous Functions, Van Nostrand Reinhold, New York.
Henriksen, M. (1997) A survey of f-rings and some of their generalizations, in Proceedings of the Curçao Conference June 1995, Kluwer Academic Publishers, Dordrecht, pp. 1-26.
Johnstone, P. T. (1982) Stone spaces, Cambridge Studies in Advanced Mathematics 3, Cambridge University Press, Cambridge.
Vickers, S. (1985) Topology via Logic, Cambridge Tracts in Theoretical Computer Science 5, Cambridge University Press, Cambridge.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Banaschewski, B. f-Rings and the Stone-Weierstrass Theorem. Order 18, 105–117 (2001). https://doi.org/10.1023/A:1011975217689
Issue Date:
DOI: https://doi.org/10.1023/A:1011975217689