Strongly representable atom structures of cylindric algebras
Robin Hirsch and Ian Hodkinson
Source: J. Symbolic Logic Volume 74, Issue 3
(2009), 811-828.
Abstract
A cylindric algebra atom structure is said to be strongly representable if all atomic cylindric algebras with that atom structure are representable. This is equivalent to saying that the full complex algebra of the atom structure is a representable cylindric algebra. We show that for any finite n≥3, the class of all strongly representable n-dimensional cylindric algebra atom structures is not closed under ultraproducts and is therefore not elementary.
Our proof is based on the following construction. From an arbitrary undirected, loop-free graph Γ, we construct an n-dimensional atom structure ℰ(Γ), and prove, for infinite Γ, that ℰ(Γ) is a strongly representable cylindric algebra atom structure if and only if the chromatic number of Γ is infinite. A construction of Erdős shows that there are graphs Γk (k < ω) with infinite chromatic number, but having a non-principal ultraproduct ∏DΓk whose chromatic number is just two. It follows that ℰ(Γk) is strongly representable (each k <ω) but ∏Dℰ(Γk) is not.
First Page:
Show
Hide
Full-text: Access denied (no subscription
detected)
We're sorry, but we are unable to provide
you with the full text of this article because we are not able to identify
you as a subscriber.
If you have a personal subscription to
this journal, then please login. If you are already logged in, then you
may need to update your profile to register your subscription. Read more about accessing full-text
Links and Identifiers
Permanent link to this document: http://projecteuclid.org/euclid.jsl/1245158086
Digital Object Identifier: doi:10.2178/jsl/1245158086
Zentralblatt MATH identifier: 05609391
Mathematical Reviews number (MathSciNet): MR2548463
References
H. Andréka, Complexity of equations valid in algebras of relations, Part I: Strong non-finitizability, Annals of Pure and Applied Logic, vol. 89 (1997), pp. 149--209.
Mathematical Reviews (MathSciNet): MR1490104
Digital Object Identifier: doi:10.1016/S0168-0072(97)00027-4
Zentralblatt MATH: 0898.03023
H. Andréka, I. Németi, and T. Sayed Ahmed, Omitting types for finite variable fragments and complete representations of algebras, Journal of Symbolic Logic, vol. 73 (2008), pp. 65--89.
Mathematical Reviews (MathSciNet): MR2387933
Digital Object Identifier: doi:10.2178/jsl/1208358743
Project Euclid: euclid.jsl/1208358743
Zentralblatt MATH: 1143.03035
C. C. Chang and H. J. Keisler, Model theory, 3rd ed., North-Holland, Amsterdam, 1990.
Mathematical Reviews (MathSciNet): MR1059055
R. Diestel, Graph theory, Graduate Texts in Mathematics, vol. 173, Springer-Verlag, Berlin, 1997.
Mathematical Reviews (MathSciNet): MR1448665
P. Erdős, Graph theory and probability, Canadian Journal of Mathematics, vol. 11 (1959), pp. 34--38.
Mathematical Reviews (MathSciNet): MR102081
R. Goldblatt, Varieties of complex algebras, Annals of Pure and Applied Logic, vol. 44 (1989), pp. 173--242.
Mathematical Reviews (MathSciNet): MR1020344
Digital Object Identifier: doi:10.1016/0168-0072(89)90032-8
Zentralblatt MATH: 0722.08005
--------, Elementary generation and canonicity for varieties of boolean algebras with operators, Algebra Universalis, vol. 34 (1995), pp. 551--607.
Mathematical Reviews (MathSciNet): MR1357484
Digital Object Identifier: doi:10.1007/BF01181878
Zentralblatt MATH: 0854.06020
L. Henkin, J. D. Monk, and A. Tarski, Cylindric algebras part I, North-Holland, 1971.
Mathematical Reviews (MathSciNet): MR781929
--------, Cylindric algebras part II, North-Holland, 1985.
Mathematical Reviews (MathSciNet): MR781930
L. Henkin, J. D. Monk, A. Tarski, H. Andréka, and I. Németi, Cylindric set algebras, Lecture Notes in Mathematics, vol. 883, Springer, Berlin, 1981.
Mathematical Reviews (MathSciNet): MR639151
R. Hirsch and I. Hodkinson, Complete representations in algebraic logic, Journal of Symbolic Logic, vol. 62 (1997), no. 3, pp. 816--847.
Mathematical Reviews (MathSciNet): MR1472125
Digital Object Identifier: doi:10.2307/2275574
JSTOR: links.jstor.org
Zentralblatt MATH: 0893.03025
--------, Relation algebras by games, Studies in Logic and the Foundations of Mathematics, vol. 147, North-Holland, Amsterdam, 2002.
Mathematical Reviews (MathSciNet): MR1935083
--------, Strongly representable atom structures of relation algebras, Proceedings of the American Mathematical Society, vol. 130 (2002), pp. 1819--1831.
Mathematical Reviews (MathSciNet): MR1887031
Digital Object Identifier: doi:10.1090/S0002-9939-01-06232-3
JSTOR: links.jstor.org
Zentralblatt MATH: 1002.03054
I. Hodkinson, Atom structures of cylindric algebras and relation algebras, Annals of Pure and Applied Logic, vol. 89 (1997), pp. 117--148.
Mathematical Reviews (MathSciNet): MR1490103
Digital Object Identifier: doi:10.1016/S0168-0072(97)00015-8
Zentralblatt MATH: 0898.03025
I. Hodkinson and Y. Venema, Canonical varieties with no canonical axiomatisation, Transactions of the American Mathematical Society, vol. 357 (2005), pp. 4579--4605.
Mathematical Reviews (MathSciNet): MR2156722
Digital Object Identifier: doi:10.1090/S0002-9947-04-03743-2
Zentralblatt MATH: 1081.03062
B. Jónsson and A. Tarski, Boolean algebras with operators I, American Journal of Mathematics, vol. 73 (1951), pp. 891--939.
Mathematical Reviews (MathSciNet): MR44502
Digital Object Identifier: doi:10.2307/2372123
JSTOR: links.jstor.org
Zentralblatt MATH: 0045.31505
J. D. Monk, Nonfinitizability of classes of representable cylindric algebras, Journal of Symbolic Logic, vol. 34 (1969), pp. 331--343.
Mathematical Reviews (MathSciNet): MR256861
Digital Object Identifier: doi:10.2307/2270900
JSTOR: links.jstor.org
Zentralblatt MATH: 0181.30002
--------, Completions of boolean algebras with operators, Mathematische Nachrichten, vol. 46 (1970), pp. 47--55.
Mathematical Reviews (MathSciNet): MR277369
Digital Object Identifier: doi:10.1002/mana.19700460105
Zentralblatt MATH: 0182.32301
--------, An introduction to cylindric set algebras, Logic Journal of the IGPL, vol. 8 (2000), no. 4, pp. 451--496.
Mathematical Reviews (MathSciNet): MR1776150
Digital Object Identifier: doi:10.1093/jigpal/8.4.451
Zentralblatt MATH: 0979.03046
F. P. Ramsey, On a problem of formal logic, Proceedings of the London Mathematical Society, vol. 30 (1930), pp. 264--286.
T. Sayed Ahmed, Martin's axiom, omitting types, and complete representations in algebraic logic, Studia Logica, vol. 72 (2002), no. 2, pp. 285--309.
Mathematical Reviews (MathSciNet): MR1949917
Digital Object Identifier: doi:10.1023/A:1021368713305
Zentralblatt MATH: 1019.03047
A. Tarski, Contributions to the theory of models, III, Koninklijke Nederlandse Akademie van Wetenschappen. Indagationes Mathematicae, vol. 58 (1955), pp. 56--64, (= Indag. Math. 17).
Mathematical Reviews (MathSciNet): MR66303
Y. Venema, Atom structures, Advances in modal logic '96 (M. Kracht, M. de Rijke, H. Wansing, and M. Zakharyaschev, editors), CSLI Publications, Stanford, 1997, pp. 291--305.
Mathematical Reviews (MathSciNet): MR1688528
--------, Atom structures and Sahlqvist equations, Algebra Universalis, vol. 38 (1997), pp. 185--199.
Mathematical Reviews (MathSciNet): MR1609043
Digital Object Identifier: doi:10.1007/s000120050047
Zentralblatt MATH: 0913.06010
