Hostname: page-component-7c8c6479df-8mjnm Total loading time: 0 Render date: 2024-03-29T14:01:06.589Z Has data issue: false hasContentIssue false

STONE SPACE OF CYLINDRIC ALGEBRAS AND TOPOLOGICAL MODEL SPACES

Published online by Cambridge University Press:  14 September 2016

CHARLES C. PINTER*
Affiliation:
DEPARTMENT OF MATHEMATICS BUCKNELL UNIVERSITY LEWISBURG, PA 17837, USAE-mail: cpinter@bucknell.edu

Abstract

The Stone representation theorem was a milestone for the understanding of Boolean algebras. From Stone’s theorem, every Boolean algebra is representable as a field of sets with a topological structure. By means of this, the structural elements of any Boolean algebra, as well as the relations between them, are represented geometrically and can be clearly visualized. It is no different for cylindric algebras: Suppose that ${\frak A}$ is a cylindric algebra and ${\cal S}$ is the Stone space of its Boolean part. (Among the elements of the Boolean part are the diagonal elements.) It is known that with nothing more than a family of equivalence relations on ${\cal S}$ to represent quantifiers, ${\cal S}$ represents the full cylindric structure just as the Stone space alone represents the Boolean structure. ${\cal S}$ with this structure is called a cylindric space.

Many assertions about cylindric algebras can be stated in terms of elementary topological properties of ${\cal S}$. Moreover, points of ${\cal S}$ may be construed as models, and on that construal ${\cal S}$ is called a model space. Certain relations between points on this space turn out to be morphisms between models, and the space of models with these relations hints at the possibility of an “abstract” model theory. With these ideas, a point-set version of model theory is proposed, in the spirit of pointless topology or category theory, in which the central insight is to treat the semantic objects (models) homologously with the corresponding syntactic objects so they reside together in the same space.

It is shown that there is a new, purely algebraic way of introducing constants in cylindric algebras, leading to a simplified proof of the representation theorem for locally finite cylindric algebras. Simple rich algebras emerge as homomorphic images of cylindric algebras. The topological version of this theorem is especially interesting: The Stone space of every locally finite cylindric algebra ${\frak A}$ can be partitioned into subspaces which are the Stone spaces of all the simple rich homomorphic images of ${\frak A}$. Each of these images completely determines a model of ${\frak A}$, and all denumerable models of ${\frak A}$ appear in this representation.

The Stone space ${\cal S}$ of every cylindric algebra can likewise be partitioned into closed sets which are duals of all the types in ${\frak A}$. This fact yields new insights into miscellaneous results in the model theory of saturated models.

Type
Articles
Copyright
Copyright © The Association for Symbolic Logic 2016 

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

Ahmed, T. S., Neat reducts and neat embeddings in cylindric algebras , Cylindric-like Algebras and Algebraic Logic, Springer Verlag, Berlin, 2013, pp. 105131.Google Scholar
Andréka, H. et al., Notions of density that imply representability in algebraic logic . Annals of Pure and Applied Logic, vol. 91 (1998), no. 2–3, pp. 93190.Google Scholar
Gehrke, M. and Jónsson, B., Monotone bounded distributive lattice expansions . Mathematica Japonica, vol. 52 (2000), no. 2, pp. 197213.Google Scholar
Gehrke, M. and Jónsson, B., Bounded distributive lattice expansions . Mathematica Scandinavica, vol. 94 (2004), pp. 1345.Google Scholar
Givant, S. and Venema, Y., The preservation of Sahlqvist equations in completions of Boolean algebras with operators . Algebra Universalis, vol. 41 (1999), pp. 4784.Google Scholar
Goldblatt, R., Varieties of complex algebras . Annals of Pure and Applied Logic, vol. 44 (1989), pp. 173242.Google Scholar
Halmos, P. R., Agebraic logic, I. Monadic boolean algebras . Compositio Mathematica, vol. 12 (1956), pp. 217249.Google Scholar
Hansoul, G., A duality for boolean algebras with operators . Algebra Universalis, vol. 17 (1983), pp. 3449.Google Scholar
Henkin, L., Monk, J. D., and Tarski, A., Cylindric Algebras, North-Holland, Amsterdam, 1971.Google Scholar
Jónsson, B. and Tarski, A., Boolean algebras with operators I . American Journal of Mathematics, vol. 73 (1951), pp. 891939.Google Scholar
Monk, D., Completions of Boolean algebras with operators . Mathematische Nachrichten, vol. 46 (1970), pp. 4755.Google Scholar
Pinter, C., Topological duality in algebraic logic , Studies in Logic and the Foundations of Mathematics, vol. 99, North-Holland, Amsterdam, 1980, pp. 255266.Google Scholar
Pinter, C., Cylindric algebras and algebras of substitutions . Transactions of the American Mathematical Society, vol. 175 (1973), pp. 167179.Google Scholar
Pinter, C., Terms in cylindric algebras . Proceedings of the American Mathematical Society, vol. 40 (1973), no. 2, pp. 3842.Google Scholar
Sági, G. and Sziráki, D., Some variants of Vaught’s conjecture from the perspective of algebraic logic . Logic Journal of the IGPL, vol. 20 (2012), no. 6, pp. 10641082.Google Scholar
Suzuki, Y., Orbits of denumerable models of complete theories . Fundamenta Mathematicae, vol. 67 (1970), pp. 8995.Google Scholar
Theunissen, M. and Venema, Y., MacNeille completions of lattice expansions . Algebra Universalis, vol. 57 (2007), no. 2, pp. 143193.Google Scholar