Browsing Tesis de Doctorados by Author "Campercholi, Miguel Alejandro Carlos"
Now showing items 1-2 of 2
-
Algoritmos para decidir definibilidad de fragmentos de lógica en primer orden
Ventura, Pablo Gabriel (2023-06-29)Dada una estructura A, decimos que un conjunto T es definible en primer orden sin cuantificadores si y solo si existe una fórmula sin cuantificadores φ tal queA ⊨φ(x) para todo x∈T, mientras que A ⊭φ(x) para todo x∈A\T. ... -
Representaciones globales y clases algebráicamente extensibles
Campercholi, Miguel Alejandro Carlos (2006)Estudiamos aplicaciones de representaciones globales en varias clases ecuacionales de estructuras algebráicas, en especial, expansiones de reticulados distributivos. En el primer capítulo definimos la noción de clase ...