Definibilidad mediante r-tipos de n-isomorfia

  1. Leach, Javier
Zuzendaria:
  1. Alberto Dou Mas de Xaxàs Zuzendaria

Defentsa unibertsitatea: Universidad Complutense de Madrid

Defentsa urtea: 1978

Epaimahaia:
  1. Enrique Linés Escardó Presidentea
  2. Jesús Mosterín Kidea
  3. Sixto Ríos García Kidea
  4. Baldomero Rubio Segovia Kidea

Mota: Tesia

Teseo: 1438 DIALNET

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