Definibilidad mediante r-tipos de n-isomorfia

• Autores: Javier Leach
• Directores de la Tesis: Alberto Dou Mas de Xaxàs (dir. tes.)
• Lectura: En la Universidad Complutense de Madrid ( España ) en 1978
• Idioma: español
• Tribunal Calificador de la Tesis: Enrique Linés Escardó (presid.) , Jesús Mosterín (voc.) , Sixto Ríos García (voc.) , Baldomero Rubio Segovia (voc.)
• Texto completo no disponible (Saber más ...)
• Resumen

  • 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