Ecuaciones para retículos distributivos con cuantificador

Vista sencilla de ítem
dc.contributor.advisorGaitan, Hernando
dc.contributor.authorRamírez Ramos, Nicolás José
dc.date.accessioned2023-08-01T21:30:09Z
dc.date.available2023-08-01T21:30:09Z
dc.date.issued2023
dc.descriptionilustraciones, diagramas
dc.description.abstractEste 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)spa
dc.description.abstractThis 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.eng
dc.description.degreelevelMaestríaspa
dc.description.degreenameMagíster en Ciencias - Matemáticasspa
dc.description.researchareaÁlgebra universalspa
dc.format.extentxi, 50 páginasspa
dc.format.mimetypeapplication/pdfspa
dc.identifier.instnameUniversidad Nacional de Colombiaspa
dc.identifier.reponameRepositorio Institucional Universidad Nacional de Colombiaspa
dc.identifier.repourlhttps://repositorio.unal.edu.co/spa
dc.identifier.urihttps://repositorio.unal.edu.co/handle/unal/84407
dc.language.isospaspa
dc.publisherUniversidad Nacional de Colombiaspa
dc.publisher.branchUniversidad Nacional de Colombia - Sede Bogotáspa
dc.publisher.facultyFacultad de Cienciasspa
dc.publisher.placeBogotá, Colombiaspa
dc.publisher.programBogotá - Ciencias - Maestría en Ciencias - Matemáticasspa
dc.relation.referencesL.M. Acosta, Temas de Teoría de Retículos, Universidad Nacional de Colombia (2016).spa
dc.relation.referencesM.E. Adams and W. Dziobiak, Quasivarieties of distributive lattices with a quantifier, Discrete Math. 135 (1994) 15-28.spa
dc.relation.referencesM.E. Adams and W. Dziobiak, Endomorphisms of distributive lattices with a quantifier, International Journal of Algebra and Computation, Vol. 17, No. 7 (2007) 1349-1376.spa
dc.relation.referencesR. Balbes and P. Dwinger, Distributive Lattices (University of Missouri Press, Columbia, MO, 1974).spa
dc.relation.referencesS. Burris and H.P. Sankappanavar, A course in Universal Algebra, Graduate Texts in Mathematics, Vol 78 (Springer, Berlin, 1981).spa
dc.relation.referencesR. Cignoli, Quantifiers on distributive lattices, Discrete Math. 96 (1991) 183-197.spa
dc.relation.referencesS. Givant, Duality Theories for Boolean Algebras with Operators, Springer Monographs in Mathematics, (Springer, Switzerland, 2014).spa
dc.relation.referencesP.R. Halmos, Algebraic Logic (Chelsea, New York, 1962).spa
dc.relation.referencesP.R. Halmos, Algebraic Logic, I. Monadic Boolean algebras, Compositio Math. 12 (1955) 217-249.spa
dc.relation.referencesP.R. Halmos, Lectures on Boolean Algebras, Van Nostrand Studies 1, Princenton, New Jersey (1963).spa
dc.relation.referencesP.T. Johnstone, Stone Spaces, Cambridge Univ. Press (1982).spa
dc.relation.referencesB. Jónsson, Algebras whose congruence lattices are distributive, Math. Scand. 21 (1967).spa
dc.relation.referencesB. Jónsson and Alfred Tarski, Boolean algebras with operators. Part I, American Journal of Math. Vol. 73, No. 4 (1951) 891-939.spa
dc.relation.referencesS. Mac lane, Categories for the Working Mathematician, 2nd ed, Graduate Texts in Mathematics, Vol 5, Springer, (1998).spa
dc.relation.referencesA. Malcev, On the general theory of algebraic systems, Mat. Sb. (77) 35 (1954) 3-20.spa
dc.relation.referencesG. Markowsky, Some combinatorial aspects of lattice theory, Lattice Theory Conf. Houston (1973).spa
dc.relation.referencesD. Monk, On equational classes of algebraic versions of logic I, Math. Scand. 27 (1970) 53-71.spa
dc.relation.referencesL. Monteiro, Alg`ebres de Boole monadiques libres, Algebra Universalis 8 (1978) 374-380.spa
dc.relation.referencesJ.M. Munkres, Topology a first course, Prentice-Hall, Inc., New Jersey (1975).spa
dc.relation.referencesA. Petrovich, Equations in the theory of Q-distributive lattices, Discrete Math. 175 (1997) 211-219.spa
dc.relation.referencesH.A. Priestley, Representation of distributive lattices by means of ordered Stone spaces, Bull. London Math. Soc. 2 (1970) 186-190.spa
dc.relation.referencesH.A. Priestley, Ordered topological spaces and the representation of distributive lattices, Proc. London Math. Soc. 4 (3) (1972) 507-530.spa
dc.relation.referencesM.H. Stone, The theory of representations for Boolean algebras, Trans. Amer. Math. Soc. 40, (1936) 37-111.spa
dc.relation.referencesM.H. Stone, Topological representation of distributive lattices and Brouwerian logics, Casopis. Pest. Math. 67 (1937) 1-25.spa
dc.relation.referencesO. Varsavsky, Quantifiers and equivalence relations, Revista matemática cuyana, Vol. 2 no. 1 (1956) 29–51.spa
dc.relation.referencesD. van der Zypen, Aspects of Priestley Duality, Phd Thesis, Mathematisches Institut der Universität Bern (2004).spa
dc.rights.accessrightsinfo:eu-repo/semantics/openAccessspa
dc.rights.licenseAtribución-NoComercial 4.0 Internacionalspa
dc.rights.urihttp://creativecommons.org/licenses/by-nc/4.0/spa
dc.subject.ddc510 - Matemáticas::512 - Álgebraspa
dc.subject.ddc510 - Matemáticas::514 - Topologíaspa
dc.subject.lembTEORIA DE DUALIDADES (MATEMATICAS)spa
dc.subject.lembDuality theory (Mathematics)eng
dc.subject.lembANALISIS MATEMATICOspa
dc.subject.lembMathematical analysiseng
dc.subject.lembECUACIONESspa
dc.subject.lembEquationseng
dc.subject.lembVARIEDADES TOPOLOGICASspa
dc.subject.lembTopological manifoldseng
dc.subject.proposalÁlgebra universalspa
dc.subject.proposalRetículos distributivosspa
dc.subject.proposalDualidadspa
dc.subject.proposalSubvariedadesspa
dc.subject.proposalCuantificadoresspa
dc.subject.proposalEcuacionesspa
dc.subject.proposalUniversal algebraeng
dc.subject.proposalDistributive latticeseng
dc.subject.proposalDualityeng
dc.subject.proposalSubvarietieseng
dc.subject.proposalQuantifierseng
dc.subject.proposalEquationseng
dc.titleEcuaciones para retículos distributivos con cuantificadorspa
dc.title.translatedEquations for distributive lattices with quantifierseng
dc.typeTrabajo de grado - Maestríaspa
dc.type.coarhttp://purl.org/coar/resource_type/c_bdccspa
dc.type.coarversionhttp://purl.org/coar/version/c_ab4af688f83e57aaspa
dc.type.contentTextspa
dc.type.driverinfo:eu-repo/semantics/masterThesisspa
dc.type.redcolhttp://purl.org/redcol/resource_type/TMspa
dc.type.versioninfo:eu-repo/semantics/acceptedVersionspa
dcterms.audience.professionaldevelopmentEstudiantesspa
dcterms.audience.professionaldevelopmentInvestigadoresspa
dcterms.audience.professionaldevelopmentPúblico generalspa
oaire.accessrightshttp://purl.org/coar/access_right/c_abf2spa

Archivos

Bloque original

Mostrando 1 - 1 de 1
Miniatura
Nombre:
1020830572.2023.pdf
Tamaño:
584.07 KB
Formato:
Adobe Portable Document Format
Descripción:
Tesis de Maestría en Ciencias - Matemáticas
Descargar

Bloque de licencias

Mostrando 1 - 1 de 1
Miniatura
Nombre:
license.txt
Tamaño:
5.74 KB
Formato:
Item-specific license agreed upon to submission
Descripción:
Descargar

Colecciones

Maestría en Ciencias - Matemáticas