Estructuras generales de segundo orden.

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)

 

Deja un comentario

Tu dirección de correo electrónico no será publicada. Los campos obligatorios están marcados con *

Scroll al inicio