UN METODO DE APROXIMACIONES FINITAS EN LA LOGICA DE PRIMER ORDEN. Autor: RODRIGUEZ ARTALEJO MARIO.
Año: 1977.
Universidad: COMPLUTENSE DE MADRID.
Centro de lectura: MATEMATICAS.
Centro de realización: FACULTAD DE MATEMATICAS DE LA UNIVERSIDAD COMPLUTENSE.
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
> 
