Una extensión de métodos algebraicos a la teoría de modelos
- Autores: Alejandro Fernández Margarit
- Directores de la Tesis: Luis María Laita de la Rica (dir. tes.)
- Lectura: En la Universidad de Sevilla ( España ) en 1983
- Idioma: español
- ISBN: 9788469399828
- Tribunal Calificador de la Tesis: Luis María Laita de la Rica (presid.), Juan Arias de Reyna Martínez (secret.), Norberto Cuesta Dutari (voc.), Antonio Valle Sánchez (voc.), José Luis Vicente Córdoba (voc.)
- Materias:
- Enlaces
- Tesis en acceso abierto en: Idus
- Resumen
La idea central de este trabajo consiste en la introducción del concepto de cociente en la teoría de modelos. La construcción 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 construcción del cociente. Se aplica esta construcción a teorías algebraicas usuales obteniendo resultados paralelos al caso algebraico los cual apoya que nuestra definición de cociente es apropiada. Se estudian los problemas clásicos de la teoría de modelos respecto de la construcción de cociente introducida tales como: Problema de persistencia, Problema de finitud y su relación con otras construcciones de la teoría de modelos.
