Abstract
According to J. Donald Monk, one of the authors of ‘Cylindric Algebras’, the basic monograph on algebraic logic, the fact that the sets of all \( \phi ^\mathfrak{M} \)’s consisting of sequences satisfying the first order formula φ in the model \( \mathfrak{M} \) constitutes the universe of a cylindric set algebra is ‘the main motivating force for […] the whole topic of algebraic logic.’ (cf. [Mon,00] p. 453). Therefore, the investigation of cylindric set algebras from the point of view of their close links to first order models has a distinguished role in algebraic logic. In the course of this investigation, the specific properties of models (e.g. universality, homogeneity, saturatedness) become algebraic ones, and the various connections between models correspond to different kinds of isomorphisms between the cylindric set algebras concerned (see e.g. [Hen-Mon-Tar,85] 4.3.68(7) and (10), [Hen-Mon-Tar,85] pp. 37 and 45, [Mon,00] Sections 5 and 6).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 János Bolyai Mathematical Society and Springer-Verlag
About this chapter
Cite this chapter
Serény, G. (2013). Elements of Cylindric Algebraic Model Theory. In: Andréka, H., Ferenczi, M., Németi, I. (eds) Cylindric-like Algebras and Algebraic Logic. Bolyai Society Mathematical Studies, vol 22. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-35025-2_11
Download citation
DOI: https://doi.org/10.1007/978-3-642-35025-2_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-35024-5
Online ISBN: 978-3-642-35025-2
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)