Download DR. RIQUELMI SALVADOR CARDONA Docente Universidad de El

DR. RIQUELMI SALVADOR CARDONA
Docente Universidad de El Salvador
Title: The FEP for some noncommutative varieties of residuated lattices satisfying x^n=x^m.
Abstract:
A class of algebras K is said to have the finite embeddability property (FEP) if every finite partial
subalgebra of an algebra in K can be embedded into a finite algebra in K. We consider varieties of
residuated lattices that satisfy x^n=x^m (sometimes this condition is referred to as periodicity) and
a balanced noncommutative multiplicative identity.
We consider noncommutative balanced monoid identities that have the property that one of the
sides of the identity does not contain a square and prove the FEP for varieties of fully distributive
residuated lattices that satisfy a periodic equality and one of these noncommutative identities.
Mini CV:
Riquelmi Cardona graduated in Computer Science with a minor in Mathematics from the
University of Illinois at Urbana Champaign in 2005. In 2009 he became a Graduate Teaching
Assistant at the University of Denver, where he received a Master in Mathematics in 2011. In
2015 he received a Ph.D. in Mathematics from the University of Denver with the thesis entitled
“The Finite Embeddability Property for some Noncommutative knotted varieties of RL and DRL”,
written under the supervision of Professor Nikolaos Galatos. He is currently a Professor of
Mathematics at the University of El Salvador. He has published articles on the decidability of
classes of Substructural Logics and has research interests on Universal Algebra and Non Classical
Logics.
Título: La propiedad de encajamiento finito para algunas variedades no conmutativas de retículos
residuados que satisfacen x^n=x^m.
Abstracto:
Una clase de álgebras K posee la propiedad de encajamiento finito si cada subalgebra parcial finita
de una álgebra en K puede ser encajada en una álgebra finita de K. Nosotros consideramos
variedades de retículos residuados que satisfacen x^n=x^m (en ocasiones esta condición se conoce
como periodicidad) y una identidad balanceada multiplicativa que no implica conmutatividad.
Mini CV:
Riquelmi Cardona se graduó de la Universidad de Illinois en Urbana Champaign con un grado en
Ciencias de la Computación en 2005. Recibió su maestría y doctorado de la Universidad de Denver
en 2011 y 2015 respectivamente. Su tesis doctoral se titula “La propiedad de encajamiento finito
para algunas sub variedades no conmutativas de retículos residuados y retículos residuados
completamente distributivos”, escrita bajo la supervisión del Profesor Nikolaos Galatos.
Actualmente es Profesor de Matemáticas en la Universidad de El Salvador. El ha publicado
artículos sobre el problema de decisión para algunas clases de lógicas Substructurales y sus
intereses de investigación incluyen el álgebra universal y lógicas no clásicas.