Services on Demand
Journal
Article
Indicators
Cited by SciELO
Access statistics
Related links
Similars in SciELO
Share
Computación y Sistemas
On-line version ISSN 2007-9737Print version ISSN 1405-5546
Abstract
FIGALLO, Martín and MONICA-GOMES, Claudia. The Subalgebra Lattice of A Finite Diagonal–Free Two–Dimensional Cylindric Algebra. Comp. y Sist. [online]. 2023, vol.27, n.1, pp.327-333. Epub June 16, 2023. ISSN 2007-9737. https://doi.org/10.13053/cys-27-1-4544.
Diagonal–free two–dimensional cylindric algebras (Df2−algebras for short) are Boolean algebras enriched with two existential quantifiers which commute. Df2−algebras were introduced by A. Tarski, L. Chin and F. Thompson with the purpose of providing an algebraic device for the study of the first–order predicate calculus with two variables. This work is devoted to problems related to finite Df2−algebras. More precisely, we study and describe the family of subalgebras of a given finite Df2−algebra. Then, identifying the algebras of this family which are isomorphic, we provide a full description of the lattice of all non–isomorphic subalgebras of a given finite Df2−algebra.
Keywords : Finite Boolean algebras; diagonal–free two–dimensional cylindric algebras; lattice of subalgebras.
![](/img/en/iconPDFDocument.gif)