Tesis doctoral de Javier Leach Aldert
Simplificacion y unificacion de la demostracion de los teoremas de definibilidad de beth suenonius chang-makkai y kueker. Demostracion del teorema de chang-makkai sin utilizar modelos especiales o modelos recursivamente saturados clarificar el significado de los teoremas anteriores al expresar mediante los r-tipos de n-isomorfia cuales son las formulas definitorias
Datos académicos de la tesis doctoral «Definibilidad mediante r-tipos de n-isomorfia.«
- Título de la tesis: Definibilidad mediante r-tipos de n-isomorfia.
- Autor: Javier Leach Aldert
- Universidad: Complutense de Madrid
- Fecha de lectura de la tesis: 01/01/1978
Dirección y tribunal
- Director de la tesis
- Dou Mas De Xexas Alberto
- Tribunal
- Presidente del tribunal: Enrique Lines
- Jesús Mosterin (vocal)
- Sixto Rios (vocal)
- (vocal)