Relation algebra reducts of cylindric algebras and an application to proof theory

Journal of Symbolic Logic 67 (1):197-213 (2002)
We confirm a conjecture, about neat embeddings of cylindric algebras, made in 1969 by J. D. Monk, and a later conjecture by Maddux about relation algebras obtained from cylindric algebras. These results in algebraic logic have the following consequence for predicate logic: for every finite cardinal α ≥ 3 there is a logically valid sentence X, in a first-order language L with equality and exactly one nonlogical binary relation symbol E, such that X contains only 3 variables (each of which may occur arbitrarily many times), X has a proof containing exactly α + 1 variables, but X has no proof containing only α variables. This solves a problem posed by Tarski and Givant in 1987
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2178/jsl/1190150037
 Save to my reading list
Follow the author(s)
Edit this record
My bibliography
Export citation
Find it on Scholar
Mark as duplicate
Request removal from index
Revision history
Download options
Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 31,396
Through your library
References found in this work BETA
Relation Algebras From Cylindric and Polyadic Algebras.I. Nemeti & A. Simon - 1997 - Logic Journal of the IGPL 5 (4):575-588.

Add more references

Citations of this work BETA
Algebraic Logic, Where Does It Stand Today?Tarek Sayed Ahmed - 2005 - Bulletin of Symbolic Logic 11 (4):465-516.
Provability with Finitely Many Variables.Robin Hirsch, Ian Hodkinson & Roger D. Maddux - 2002 - Bulletin of Symbolic Logic 8 (3):348-379.
A Note on Substitutions in Representable Cylindric Algebras.Tarek Sayed Ahmed - 2009 - Mathematical Logic Quarterly 55 (3):280-287.
A Note on Neat Reducts.Tarek Sayed Ahmed - 2007 - Studia Logica 85 (2):139-151.

Add more citations

Similar books and articles
Added to PP index

Total downloads
199 ( #24,446 of 2,225,995 )

Recent downloads (6 months)
4 ( #141,472 of 2,225,995 )

How can I increase my downloads?

Monthly downloads
My notes
Sign in to use this feature