Journal of Symbolic Logic
- J. Symbolic Logic
- Volume 74, Issue 3 (2009), 811-828.
Strongly representable atom structures of cylindric algebras
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.
J. Symbolic Logic, Volume 74, Issue 3 (2009), 811-828.
First available in Project Euclid: 16 June 2009
Permanent link to this document
Digital Object Identifier
Mathematical Reviews number (MathSciNet)
Zentralblatt MATH identifier
Primary: 03G15: Cylindric and polyadic algebras; relation algebras
Secondary: 03C05: Equational classes, universal algebra [See also 08Axx, 08Bxx, 18C05] 05C15: Coloring of graphs and hypergraphs 05C80: Random graphs [See also 60B20]
Hirsch, Robin; Hodkinson, Ian. Strongly representable atom structures of cylindric algebras. J. Symbolic Logic 74 (2009), no. 3, 811--828. doi:10.2178/jsl/1245158086. https://projecteuclid.org/euclid.jsl/1245158086