Abstract
We give a new characterization of the class of completely representable cylindric algebras of dimension 2 #lt; n ≤ w via special neat embeddings. We prove an independence result connecting cylindric algebra to Martin's axiom. Finally we apply our results to finite-variable first order logic showing that Henkin and Orey's omitting types theorem fails for L n, the first order logic restricted to the first n variables when 2 #lt; n#lt;w. L n has been recently (and quite extensively) studied as a many-dimensional modal logic.
Similar content being viewed by others
References
AndrÉka, H., 'Complexity of equations valid in algebras of relations', Annals of Pure and Applied logic 89:149-209, 1997.
AndrÉka, H., 'Atomic representable relation and cylindric algebras with non representable completions', Manuscript, 1998.
AndrÉka, H., Personal communication.
AndrÉka, H., T. Gergely, and I. NÉmeti, 'On universal algebraic constructions of logics', Studia Logica 36:9-47, 1977.
AndrÉka, H., I. NÉmeti, and T. Sayed Ahmed, 'On neat reducts of algebras of logic', presented in Logic Colloquium 1996, abstract appeared in the Bulletin of Symbolic Logic 3(2):249, 1997.
AndrÉka, H., and T. Sayed Ahmed, 'Omitting types in logics with finitely many variables', presented in Logic Colloquium 1998, abstract appeared in the Bulletin of Symbolic Logic 5(1):88, 1999.
BirÓ, B., and S. Shelah, 'Isomorphic but not lower base isomorphic cylindric set algebras', Journal of Symbolic Logic 53:845-853, 1988.
Casanovas, E., and R. Farre, 'Omitting types in incomplete theories', Journal of Symbolic Logic 61:236-245, 1996.
Daigneault, A., and J. D. Monk, 'Representation theory for polyadic algebras', Fundamenta Mathematicae 52:151-176, 1963.
Goldblatt, R., 'On the role of the Baire Category Theorem and Dependent Choice in the foundations of logic', Journal of Symbolic Logic 50:412-422, 1985.
Henkin, L., J. D. Monk, and A. Tarski, Cylindric Algebras, Part I, North-Holland, 1971.
Henkin, L., J. D. Monk, and A. Tarski, Cylindric Algebras, Part II, North-Holland, 1985.
Hirsch, R., 'Neat embeddability is not sufficient for complete representations', Manuscript, 2000.
Hirsch, R., and I. Hodkinson, 'Complete representations in algebraic logic', Journal of Symbolic Logic 62:816-847, 1997.
Hirsch, R., and I. Hodkinson, 'Step by step-building representations in algebraic logic', Journal of Symbolic Logic 62:225-279, 1997.
Hirsch, R., and I. Hodkinson, 'Strongly representable atom structures of relation algebras', Proceedings of the American Mathematical Society, to appear.
Hirsch, R., and I. Hodkinson, 'Relation algebras with n-dimensional relational bases', Annals of Pure and Applied Logic 101:227-274, 2000.
Hirsch, R., and I. Hodkinson, and R. Maddux, 'Relation algebra reducts of cylindric algebras and an application to proof theory', Journal of Symbolic Logic, to appear.
Hirsch, R., and I. Hodkinson, 'Synthesising axioms by games', In JFAK — essays dedicated to Johan van Benthem (eds.: J. Gerbrandy, M. Marx, M. de Rijke, Y. Venema), Vossiuspers AUP/Amsterdam University Press, 1999, (CD-ROM).
Hodkinson, I. 'Atom structures of cylindric algebras and relation algebras', Annals of Pure and Applied Logic 89:117-148, 1997.
Hodges, W. Model Theory, Cambridge University Press, 1993.
Gabbay, D. M., 'An irreflexivity lemma with applications to axiomatizations of conditions +in linear frames', In Aspects of Philosophical Logic (ed.: U. Monnich), Reidel, Dordrecht, 1981.
Givant, S., and Y. Venema, 'The preservation of Sahlqvist equations in completions of Boolean algebras with operators', Algebra Universalis 41:47-84, 1999.
LÉvy, A., Basic set Theory, Springer-Verlag, 1979.
Lyndon, R., 'The representation of relational algebras', Annals of Mathematics 51:707-729, 1950.
Maddux, R., 'Topics in relation algebras', PhD thesis, University of California, Berkeley, 1978.
Maddux, R., 'Non-finite axiomatizability results for cylindric and relation algebras', Journal of Symbolic Logic 54:951-974, 1989.
Marx, M., 'Amalgamation in finite dimensional cylindric algebras', Algebra Universalis 43:41-49, 2000.
Miller, A., 'Covering ω2 with ω 1 disjoint closed sets', In Proceedings of the Kleene Symposium, Madison, Wisconsin, 1978, Studies in Logic and the Foundation of Mathematics 101, North-Holland, 1980, pp. 415-421.
Monk, J. D., 'Non finitizability of classes of representable cylindric algebras', Journal of Symbolic Logic 34:331-343, 1969.
Monk, J. D., 'Omitting types algebraically', Ann. Sci. Univ. Clermont Math. 16:101-105, 1978.
NÉmeti, I., 'The class of neat reducts of cylindric algebras is not a variety but is closed w.r.t. HP', Notre Dame Journal of Formal Logic 24:399-409, 1983.
NÉmeti, I., 'Algebraization of quantifier logics, an introductory overview', Math. Inst. Budapest, Preprint No. 13, 1996. A shortened version appeared in Studia Logica 50:465-569, 1991.
NÉmeti, I., and A. Simon, 'Relation algebras from cylindric and polyadic algebras', Logic Journal of the IGPL 5:575-588, 1997.
Newelski, L., 'Omitting types and the real line', Journal of Symbolic Logic 52:1020-1026, 1987.
Pigozzi, D., 'Amalgamation, congruence extension, and interpolation properties in algebras', Algebra Universalis 1:269-349, 1971.
Sain, I., 'Beth and Craig's properties via epimorphisms and amalgamation in algebraic logic', In Algebraic Logic and Universal Algebra in Computer Science, Lecture Notes in Computer Science 425, Springer-Verlag, 1990, pp. 209-226.
Sain, I., 'Searching for a finitizable algebraisation of first order logic', Logic Journal of the IGPL 8:495-589, 2000.
Sayed Ahmed, T., 'The class of neat reducts is not elementary', Logic Journal of the IGPL 9:31-65, 2001. Abstract appeared in Journal of Symbolic Logic 5:407–408, 1999.
Sayed Ahmed, T., 'On amalgamation of reducts of polyadic algebras', Algebra Universalis, to appear.
Sayed Ahmed, T., and I. NÉmeti, 'On neat reducts of algebras of logic', Studia Logica 68:229-269, 2001.
SerÉny, G., 'Neatly atomic cylindric algebras and representable isomorphisms', In Algebraic Logic (eds.: H. Andréka, I. Németi, and J.D. Monk), North-Holland, 1991, pp. 637-645.
Shelah, S., Classification Theory, 2nd edition, North-Holland, 1990.
Shelah, S., 'On a problem in cylindric algebra', In Algebraic Logic (eds.: H. Andréka, I. Németi, and J.D. Monk), North-Holland, 1991, pp. 645-664.
Venema, Y., 'Cylindric modal logic', Journal of Symbolic Logic 60:591-623, 1995.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Ahmed, T.S. Martin's Axiom, Omitting Types, and Complete Representations in Algebraic Logic. Studia Logica 72, 285–309 (2002). https://doi.org/10.1023/A:1021368713305
Issue Date:
DOI: https://doi.org/10.1023/A:1021368713305