A Modeltheoretic Solution to a Problem of Tarski

Mathematical Logic Quarterly 48 (3):343-355 (2002)
  Copy   BIBTEX

Abstract

Let 1 n. We show that the class NrnCAβ of n-dimensional neat reducts of β-dimensional cylindric algebras is not closed under forming elementary subalgebras. This solves a long-standing open problem of Tarski and his co-authors Andréka, Henkin, Monk and Németi. The proof uses genuine model-theoretic arguments

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 106,894

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

The class of neat reducts is not elementary.T. Sayed-Ahmed - 2001 - Logic Journal of the IGPL 9 (4):593-628.
On neat reducts of algebras of logic.Tarek Sayed Ahmed & Istvan Németi - 2001 - Studia Logica 68 (2):229-262.
The class of infinite dimensional neat reducts of quasi‐polyadic algebras is not axiomatizable.Tarek Sayed Ahmed - 2006 - Mathematical Logic Quarterly 52 (1):106-112.
A Note on Neat Reducts.Tarek Sayed Ahmed - 2007 - Studia Logica 85 (2):139-151.
The class of infinite dimensional neat reducts of quasi-polyadic algebras is not axiomatizable.Tarek Ahmed - 2006 - Mathematical Logic Quarterly 52 (1):106-112.
On neat embeddings of cylindric algebras.Tarek Sayed Ahmed - 2009 - Mathematical Logic Quarterly 55 (6):666-668.
Polyadic and cylindric algebras of sentences.Mohamed Amer & Tarek Ahmed - 2006 - Mathematical Logic Quarterly 52 (5):444-449.
Polyadic and cylindric algebras of sentences.Mohamed Amer & Tarek Sayed Ahmed - 2006 - Mathematical Logic Quarterly 52 (5):444-449.
Relation algebras from cylindric algebras, I.Robin Hirsch & Ian Hodkinson - 2001 - Annals of Pure and Applied Logic 112 (2-3):225-266.
Relation algebra reducts of cylindric algebras and an application to proof theory.Robin Hirsch, Ian Hodkinson & Roger D. Maddux - 2002 - Journal of Symbolic Logic 67 (1):197-213.

Analytics

Added to PP
2013-12-01

Downloads
16 (#1,303,078)

6 months
16 (#199,701)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Algebraic Logic, Where Does It Stand Today?Tarek Sayed Ahmed - 2005 - Bulletin of Symbolic Logic 11 (3):465-516.
A Note on Neat Reducts.Tarek Sayed Ahmed - 2007 - Studia Logica 85 (2):139-151.
Polyadic and cylindric algebras of sentences.Mohamed Amer & Tarek Sayed Ahmed - 2006 - Mathematical Logic Quarterly 52 (5):444-449.

Add more citations

References found in this work

Complete representations in algebraic logic.Robin Hirsch & Ian Hodkinson - 1997 - Journal of Symbolic Logic 62 (3):816-847.

View all 9 references / Add more references