Tesis doctoral de Hortala Gonzalez M. Teresa
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).
Datos académicos de la tesis doctoral «Una tecnica para el estudio de relaciones entre estructuras para lenguajes con varias clases de variables.«
- Título de la tesis: Una tecnica para el estudio de relaciones entre estructuras para lenguajes con varias clases de variables.
- Autor: Hortala Gonzalez M. Teresa
- Universidad: Complutense de Madrid
- Fecha de lectura de la tesis: 01/01/1978
Dirección y tribunal
- Director de la tesis
- Baldomero Rubio Segovia
- Tribunal
- Presidente del tribunal: Sixto Rios
- Enrique Lines (vocal)
- Alberto Dou (vocal)
- Jesús Mosterin (vocal)