- Volume 48 Issue 2
The purpose of this note is to compare the rings of continuous functions, integer-valued or real-valued, in pointfree topology with those in classical topology. To this end, it first characterizes the Boolean frames (= complete Boolean algebras) whose function rings are isomorphic to a classical one and then employs this to exhibit a large class of frames for which the functions rings are not of this kind. An interesting feature of the considerations involved here is the use made of nonmeasurable cardinals. In addition, the integer-valued function rings for Boolean frames are described in terms of internal lattice-ordered ring properties.
ring of continuous functions in pointfree topology;Boolean frames and their
- B. Banaschewski, The Real Numbers in Pointfree Topology. Textos de Matematica Ser. B, vol. 12, Departamento de Matematica da Universidade de Coimbra, 1997.
- B. Banaschewski, On the Function Ring Functor in Pointfree Topology, Appl. Categ. Structures, 13(2005), 305-328. https://doi.org/10.1007/s10485-005-5795-7
- B. Banaschewski and S. S. Hong, Completeness properties of function rings in pointfree topology, Comment. Math. Univ. Carolinae, 44(2003), 245-259.
- A. L. Foster, Generalized "Boolean" theory of universal algebras II: Identities and subdirect sums of functionally complete algebras, Math. Z., 59(1953), 191-199. https://doi.org/10.1007/BF01180250
- L. Gillman and M. Jerison, Rings of Continuous Functions. Van Nostrand Reinhold Company, New York 1960.
- A. W. Hager, Algebras of measurable functions, Duke Math. J., 38(1971), 21-27. https://doi.org/10.1215/S0012-7094-71-03804-X
- P. T. Johnstone, Stone spaces. Cambridge stud. adv. math., vol. 3, Cambridge University Press, Cambridge, 1982.
- S. Vickers, Topology via Logic. Cambridge Tracts Theoret. Comp. Sci., vol. 5, Cambridge University Press, Cambridge, 1985.