Journal: | Computación y sistemas |
Database: | |
System number: | 000560786 |
ISSN: | 1405-5546 |
Authors: | Figallo, Martín1 Mónica Gomes, Claudia2 |
Institutions: | 1Universidad Nacional del Sur, Instituto de Matemática de Bahía Blanca, Buenos Aires. Argentina 2Universidad Nacional de San Juan, Instituto de Ciencias Básicas, San Juan. Argentina |
Year: | 2023 |
Season: | Ene-Mar |
Volumen: | 27 |
Number: | 1 |
Pages: | 327-333 |
Country: | México |
Language: | Inglés |
English abstract | 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. |
Keyword: | Finite Boolean algebras, Diagonal–free two–dimensional cylindric algebras, Lattice of subalgebras |
Full text: | Texto completo (Ver HTML) Texto completo (Ver PDF) |