Tesis doctoral de Calixto Badesa Cortes
El proposito de esta tesis es analizar en detalle la prueba que hizo lowenheim del teorema que hoy lleva su nombre, describir el marco teorico en el que se efectua la prueba (la teoria de relativos desarrollada por peirce y schroder) y explicar por que este marco teorico hace posible que lowenheim se pregunte (por primera vez en la historia de la logica) por la relacion que existe entre las formulas de un lenguaje formal y sus interpretaciones o modelos. Despues de analizar la prueba de lowenheim, la conclusion a la que se llega es que esta no ha sido interpretada correctamente por los historiadores y que, en contra de lo que tradicionalmente se afirma, lowenheim no probo la version mas debil del teorema (si una formula de primer orden tiene un modelo, tiene un modelo numerable), sino la version del submodelo (si una formula de primer orden tiene un modelo m, entonces tiene un modelo numerable m, que es un submodelo de m).
Datos académicos de la tesis doctoral «El teorema de lowenheim en el marco de la teoria de relativos«
- Título de la tesis: El teorema de lowenheim en el marco de la teoria de relativos
- Autor: Calixto Badesa Cortes
- Universidad: Barcelona
- Fecha de lectura de la tesis: 01/01/1991
Dirección y tribunal
- Director de la tesis
- Jesús Mosterin De Las Heras
- Tribunal
- Presidente del tribunal: Luis María Laita De La Rica
- JavierDe Lorenzo Martínez (vocal)
- Ignasi Jane Palau (vocal)
- Josep Pla Carrera (vocal)