Journal of Symbolic Logic

Strongly representable atom structures of cylindric algebras

Robin Hirsch and Ian Hodkinson

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

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.

Article information

Source
J. Symbolic Logic, Volume 74, Issue 3 (2009), 811-828.

Dates
First available in Project Euclid: 16 June 2009

Permanent link to this document
https://projecteuclid.org/euclid.jsl/1245158086

Digital Object Identifier
doi:10.2178/jsl/1245158086

Mathematical Reviews number (MathSciNet)
MR2548463

Zentralblatt MATH identifier
1207.03073

Subjects
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]

Citation

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


Export citation