Un método de aproximaciones finitas en la lógica de primer orden

  1. Rodríguez Artalejo, Mario
Zuzendaria:
  1. Baldomero Rubio Segovia Zuzendaria

Defentsa unibertsitatea: Universidad Complutense de Madrid

Defentsa urtea: 1978

Epaimahaia:
  1. Sixto Ríos García Presidentea
  2. Baldomero Rubio Segovia Idazkaria
  3. Alberto Dou Mas de Xaxàs Kidea
  4. Enrique Linés Escardó Kidea
  5. Jesús Mosterín Kidea

Mota: Tesia

Teseo: 1522 DIALNET

Laburpena

SE PARTE DE TRABAJOS DE J, HINTIKKA WISCHONFELD Y T. WOLF SOBRE LA FORMA NORMAL DISTRIBUTIVA LA CARACTERIZACION DE FRAISSE DE LA EQUIVALENCIA ELEMENTAL Y LA APLICACION DE ESTAS TECNICAS AUN TRATAMIENTO ALGEBRAICO DE LA TEORIA DE MODELOS. SE OBTIENEN UNA NUEVA VERSION DE LA FORMA NORMAL DISTRIBUTIVA Y UNA VERSION SINTACTICA EFECTIVA DE LA TECNICA DE LAS EINBETTUNGSKETTEN DE SCHONFELD LO QUE PERMITE APLICAR EL METODO A CUESTIONES QUE INVOLUCREN LA TEORIA DE LA RECURSIVIDAD ACLARANDO DE PASO LA RELACION ENTRE LOS TRABAJOS DE HINTIKKA Y SCHONFELD COMO APLICACIONES SE OBTIENEN: LA COMPLETITUD DE LA LOGICA DE 1 ORDEN POR VIA ALGEBRAICA ; LOS TEOREMAS DE FENITIVO Y LOWENHEIM-SKOLEM Y OTROS RESULTADOS RELATIVOS A LA COMPLEJIDAD DE MODELOS Y TEORIAS