Definibilidad mediante r-tipos de n-isomorfia
- Alberto Dou Mas de Xaxàs Zuzendaria
Defentsa unibertsitatea: Universidad Complutense de Madrid
Defentsa urtea: 1978
- Enrique Linés Escardó Presidentea
- Jesús Mosterín Kidea
- Sixto Ríos García Kidea
- Baldomero Rubio Segovia Kidea
Mota: Tesia
Laburpena
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