Ecuaciones para retículos distributivos con cuantificador
Cargando...
Archivos
Autores
Ramírez Ramos, Nicolás José
Director
Tipo de contenido
Document language:
Español
Fecha
Título de la revista
ISSN de la revista
Título del volumen
Documentos PDF
Resumen
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)
Abstract
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.
Palabras clave propuestas
Descripción
ilustraciones, diagramas