The Subalgebra Lattice of A Finite Diagonal–Free Two–Dimensional Cylindric Algebra



Título del documento: The Subalgebra Lattice of A Finite Diagonal–Free Two–Dimensional Cylindric Algebra
Revista: Computación y sistemas
Base de datos:
Número de sistema: 000560786
ISSN: 1405-5546
Autors: 1
2
Institucions: 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
Any:
Període: Ene-Mar
Volum: 27
Número: 1
Paginació: 327-333
País: México
Idioma: Inglés
Resumen en inglés 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
Text complet: Texto completo (Ver HTML) Texto completo (Ver PDF)