Ecuaciones para retículos distributivos con cuantificador

Abstract

Este trabajo aborda el estudio de los Q-retículos distributivos, generalizaciones de las álgebras Booleanas monádicas. Mediante resultados de dualidad basados en el trabajo de Stone, Priestley y Halmos se muestra que las subvariedades de los Q-retículos distributivos forman una ω + 1 cadena, donde cada subvariedad es generada por una única álgebra finita. El objetivo es encontrar nuevas ecuaciones que caractericen estas subvariedades, explorando la dualidad en el caso finito y analizando la estructura de sus álgebras generadoras. (Texto tomado de la fuente)

This work addresses the study of Q-distributive lattices, which are generalizations of monadic Boolean algebras. Through duality results based on the work of Stone, Priestley, and Halmos, it is shown that the subvarieties of Q-distributive lattices form an ω + 1 chain, where each subvariety is generated by a unique finite algebra. The objective is to find new equations that characterize these subvarieties, exploring duality in the finite case and analyzing the structure of their generating algebras.