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

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

  • 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