Modelos generales de la logica de segundo orden

  1. MANZANO ARJONA M. GRACIA
Zuzendaria:
  1. Jesús Mosterín Zuzendaria

Defentsa unibertsitatea: Universitat de Barcelona

Defentsa urtea: 1978

Epaimahaia:
  1. Francisco Gomá Musté Presidentea
  2. Manuel Garrido Gimenez Idazkaria
  3. Jesús Mosterin de las Heras Kidea
  4. Emilio Lledó Iñigo Kidea
  5. Javier Muguerza Carpintier Kidea

Mota: Tesia

Teseo: 1181 DIALNET

Laburpena

ESTE TRABAJO CONSTITUYE UN ESTUDIO AUTOCONTENIDO DE LA LOGICA DE SEGUNDO ORDEN. LOS CAPITULOS PRIMERO Y SEGUNDO TRATAN LOS ASPECTOS SINTACTICOS DE ESTA LOGICA ENTRE LOS QUE SE CUENTA EL DE LA CONSTRUCCION DE UN CALCULO DEDUCTIVO PARA UN FORMALISMO DE SEGUNDO ORDEN CON ABSTRACTOR. EN EL TERCER CAPITULO ESTUDIO LA SEMANTICA DE LA LOGICA DE SEGUNDO ORDEN. INTRODUZCO EL CONCEPTO DE SISTEMA SU CLASIFICACION EN STANDARD Y NO-STANDARD Y LA DEFINICION DE HENKIN DE SISTEMA GENERAL. EN EL CUARTO CAPITULO DEMUESTRO QUE EL FORMALISMO PRESENTADO ES COMPLETO EN SENTIDO GENERAL. EN EL ULTIMO CAPITULO CARACTERIZO ALGEBRAICAMENTE A UNA EXTENSA CLASE DE SISTEMAS GENERALES. DEMUESTRO QUE LOS SISTEMAS DEFINIDOS ALGEBRAICAMENTE SON GENERALES Y TAMBIEN QUE EXISTEN SISTEMAS GENERALES QUE NO CAEN BAJO LA DEFINICION ALGEBRAICA.