Tesis doctoral de Pilar Dellunde Clave
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.
Datos académicos de la tesis doctoral «Contributions to the model theory of equality-free logic.«
- Título de la tesis: Contributions to the model theory of equality-free logic.
- Autor: Pilar Dellunde Clave
- Universidad: Barcelona
- Fecha de lectura de la tesis: 01/01/1996
Dirección y tribunal
- Director de la tesis
- Ramon Jansana Ferrer
- Tribunal
- Presidente del tribunal: Josep María Font Llovet
- Margarita Otero Dominguez (vocal)
- Rafael Farre Cirera (vocal)
- Don Pigozzi (vocal)