Tesis doctoral de Ignasi Jane Palau
Se tratan diversos temas de logica de segundo orden todos ellos relacionados con el concepto de estructura general. Se presenta una nueva caracterizacion no semantica de este concepto se prueban teoremas de isomorfismo y homomorfismo y se discute la definibilidad de la relacion de identidad entre individuos. Se estudian distintos teoremas de compacidad y de lowenheim-skolem y se presenta un metodo de construccion de estructuras generales. Se muestra como reducir la logica general de segundo orden a logica multivariada y esta a su vez a logica usual d e primer orden. Finalmente se aplican metodos aqui desarrollados para discutir aspectos de la aritmetica de segundo orden. La tesis concluye con un procedimiento de obtencion de modelos de la aritmetica de peano de segundo orden a partir de uno de primer orden.
Datos académicos de la tesis doctoral «Estructuras generales de segundo orden.«
- Título de la tesis: Estructuras generales de segundo orden.
- Autor: Ignasi Jane Palau
- Universidad: Barcelona
- Fecha de lectura de la tesis: 01/01/1982
Dirección y tribunal
- Director de la tesis
- Jesús Mosterin De Las Heras
- Tribunal
- Presidente del tribunal: Francisco Sales Valles
- Alejandro Sanvisens Marfull (vocal)
- Manuel Garrido Gimenez (vocal)
- Jesús Mosterin De Las Heras (vocal)