Una técnica para el estudio de relaciones entre estructuras para lenguajes con varias clases de variables

• Autores: María Teresa Hortala González
• 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

  • OBTENEMOS UN TEOREMA DE PRESERVACION GENERAL PARA LAS RELACIONES DEFINIBLES EN PRIMER ORDEN ENTRE ESTRUCTURAS PARA UN LENGUAJE DE PRIMER ORDEN CON N-CLASES DE VARIABLES; PARA LO CUAL GENERALIZAMOS AL LENGUAJE CON N-CLASES DE VARIABLES TODOS LOS RESULTADOS CONOCIDAS DEL LENGUAJE DE PRIMER ORDEN USUAL (1-CLASE DE VARIABLES),