Tesis doctoral de Mario Rodríguez Artalejo
Se parte de trabajos de j. Hintikka wischonfeld y t. wolf sobre la forma normal distributiva la caracterizacion de fraisse de la equiValencia elemental y la aplicacion de estas tecnicas aun tratamiento algebraico de la teoria de modelos. Se obtienen una nueva version de la forma normal distributiva y una version sintactica efectiva de la tecnica de las einbettungsketten de schonfeld lo que permite aplicar el metodo a cuestiones que involucren la teoria de la recursividad aclarando de paso la relacion entre los trabajos de hintikka y schonfeld como aplicaciones se obtienen: la completitud de la logica de 1 orden por via algebraica ; los teoremas de fenitivo y lowenheim-skolem y otros resultados relativos a la complejidad de modelos y teorias
Datos académicos de la tesis doctoral «Un metodo de aproximaciones finitas en la logica de primer orden.«
- Título de la tesis: Un metodo de aproximaciones finitas en la logica de primer orden.
- Autor: Mario Rodríguez Artalejo
- Universidad: Complutense de Madrid
- Fecha de lectura de la tesis: 01/01/1978
Dirección y tribunal
- Director de la tesis
- Baldomero Rubio Segovia
- Tribunal
- Presidente del tribunal: Sixto Rios
- Enrique Lines Escardo (vocal)
- Dou Mas De Sexas Alberto (vocal)
- Jesús Mosterin (vocal)