Resumen de Contributions to the model theory of equality-free logic
LA TESIS DOCTORAL "CONTRIBUTIONS TO THE MODEL THEORY OF EQUALITY-FREE LOGIC" ES UN ESTUDIO DE LA TEORIA DE MODELOS DE LA LOGICA SIN IDENTIDAD, SE ESTUDIA EL FRAGMENTO DE LA LOGICA DE PRIMER ORDEN COMPUESTO POR LAS FORMULAS QUE NO TIENEN EL SIMBOLO DE IDENTIDAD. LOS CONCEPTOS FUNDAMENTALES ESTUDIADOS SON EL DE "CONGRUENCIA DE LEIBNIZ" Y EL DE "RELACION DE PARENTESCO (RELATIVE RELATION)". EL INTERES ACTUAL DE ESTAS NOCIONES PROCEDE DE LOS TRABAJOS DE W. BLOK Y DE D. PIGOZZI.
HEMOS ESTUDIADO ESTA LOGICA DESDE EL PUNTO DE VISTA DE LA TEORIA DE MODELOS CLASICA, DESARROLLANDO TECNICAS USUALES EN TEORIA DE MODELOS: METODO DE LOS DIAGRAMAS, SISTEMAS DE BACK-AND-FORTH, ETC. CON EL FIN DE OBTENER CARACTERIZACIONES ALGEBRAICAS DE LA EQUIVALENCIA ELEMENTAL EN ESTA LOGICA Y TEOREMAS DE PRESERVACION. UNA DE LAS CONTRIBUCIONES MAS IMPORTANTES DE ESTE TRABAJO ES LA CARACTERIZACION DE LOS ENUNCIADOS DE PRIMER ORDEN QUE SON LOGICAMENTE EQUIVALENTES A UN ENUNCIADO SIN IDENTIDAD.
HEMOS INTRODUCIDO LAS NOCIONES DE MODELO SATURADO, UNIVERSAL Y HOMOGENEO SIN IDENTIDAD.
HEMOS ESTUDIADO SUS PROPIEDADES Y LAS HEMOS COMPARADO CON LAS DE LAS NOCIONES ANALOGAS EN LOGICA DE PRIMER ORDEN CON IDENTIDAD. FINALMENTE HEMOS ESTUDIADO EL FRAGMENTO UNIVERSAL DE HORN SIN IDENTIDAD DE LOS LENGUAJES INFINITARIOS , CON Y CARDINALES INFINITOS REGULARES. HEMOS OBTENIDO RESULTADOS DE CARACTERIZACION Y DE PRESERVACION.
USANDO ESTOS RESULTADOS HEMOS DEMOSTRADO TEOREMAS DE INTERPOLACION Y DEFINIBILIDAD PARA ESTE FRAGMENTO.
