Show simple item record

PhD Thesis

dc.contributor.advisorLaita de la Rica, Luis Maríaes
dc.creatorFernández Margarit, Alejandroes
dc.date.accessioned2015-04-16T09:18:14Z
dc.date.available2015-04-16T09:18:14Z
dc.date.issued1983-07-02es
dc.identifier.citationFernández Margarit, A. (1983). Una extensión de métodos algebraicos a la teoría de modelos. (Tesis Doctoral Inédita). Universidad de Sevilla, Sevilla.
dc.identifier.urihttp://hdl.handle.net/11441/23819
dc.description.abstractLa 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.es
dc.formatapplication/pdfes
dc.language.isospaes
dc.rightsAtribución-NoComercial-SinDerivadas 4.0 España
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/4.0/es
dc.subjectModelos, Teoría dees
dc.titleUna extensión de métodos algebraicos a la teoría de modeloses
dc.typeinfo:eu-repo/semantics/doctoralThesises
dc.rights.accessrightsinfo:eu-repo/semantics/openAccesses
dc.contributor.affiliationUniversidad de Sevilla. Departamento de Álgebraes
idus.format.extent90 p.es
dc.identifier.idushttps://idus.us.es/xmlui/handle/11441/23819

FilesSizeFormatViewDescription
C_043-049.pdf3.525MbIcon   [PDF] View/Open  

This item appears in the following collection(s)

Show simple item record

Atribución-NoComercial-SinDerivadas 4.0 España
Except where otherwise noted, this item's license is described as: Atribución-NoComercial-SinDerivadas 4.0 España