Tesis doctoral de Alejandro Fernandez Margarit
La idea central de este trabajo consiste en la introduccion del concepto de cociente en la teoria de modelos. La construccion del cociente en algebra no es directamente generalizables pues hace uso de elementos notables del conjunto. Para vencer esta dificultad se introduce el concepto de m-ideal debido a a. Robinson lo que permite dar una construccion del cociente. Se aplica esta construccion a teorias algebraicas usuales obteniendo resultados paralelos al caso algebraico los cual apoya que nuestra definicion de cociente es apropiaa. Se estudian los problemas clasicos de la teoria de modelos respecto de la construccion de cociente introducida tales como: problema de persistencia problema de finitud y su relacion con otras construcciones de la teoria de modelos.
Datos académicos de la tesis doctoral «Una extension de metodos algebraicos a la teoria de modelos«
- Título de la tesis: Una extension de metodos algebraicos a la teoria de modelos
- Autor: Alejandro Fernandez Margarit
- Universidad: Sevilla
- Fecha de lectura de la tesis: 01/01/1983
Dirección y tribunal
- Director de la tesis
- Luis María Laita De La Rica
- Tribunal
- Presidente del tribunal: Luis María Laita De La Rica
- Antonio Valle Sanchez (vocal)
- Norberto Cuesta Dutari (vocal)
- José Luis Vicente Córdoba (vocal)
