Journal of Symbolic Logic
- J. Symbolic Logic
- Volume 64, Issue 4 (1999), 1563-1572.
Decidability of Cylindric Set Algebras of Dimension Two and First-Order Logic with Two Variables
The aim of this paper is to give a new proof for the decidability and finite model property of first-order logic with two variables (without function symbols), using a combinatorial theorem due to Herwig. The results are proved in the framework of polyadic equality set algebras of dimension two (Pse$_2$). The new proof also shows the known results that the universal theory of Pse$_2$ is decidable and that every finite Pse$_2$ can be represented on a finite base. Since the class Cs$_2$ of cylindric set algebras of dimension 2 forms a reduct of Pse$_2$, these results extend to Cs$_2$ as well.
J. Symbolic Logic, Volume 64, Issue 4 (1999), 1563-1572.
First available in Project Euclid: 6 July 2007
Permanent link to this document
Mathematical Reviews number (MathSciNet)
Zentralblatt MATH identifier
Marx, Maarten; Mikulas, Szabolcs. Decidability of Cylindric Set Algebras of Dimension Two and First-Order Logic with Two Variables. J. Symbolic Logic 64 (1999), no. 4, 1563--1572. https://projecteuclid.org/euclid.jsl/1183745938