Translator Disclaimer
September 2009 Strongly representable atom structures of cylindric algebras
Robin Hirsch, Ian Hodkinson
J. Symbolic Logic 74(3): 811-828 (September 2009). DOI: 10.2178/jsl/1245158086

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.

Citation

Download Citation

Robin Hirsch. Ian Hodkinson. "Strongly representable atom structures of cylindric algebras." J. Symbolic Logic 74 (3) 811 - 828, September 2009. https://doi.org/10.2178/jsl/1245158086

Information

Published: September 2009
First available in Project Euclid: 16 June 2009

zbMATH: 1207.03073
MathSciNet: MR2548463
Digital Object Identifier: 10.2178/jsl/1245158086

Subjects:
Primary: 03G15
Secondary: 03C05, 05C15, 05C80

Rights: Copyright © 2009 Association for Symbolic Logic

JOURNAL ARTICLE
18 PAGES

This article is only available to subscribers.
It is not available for individual sale.
+ SAVE TO MY LIBRARY

SHARE
Vol.74 • No. 3 • September 2009
Back to Top