Contribuciones a la teoría abstracta de modelos

Se estudian ciertas versiones del teorema de compacidad y del teorema de completud en su aplicación a extensiones de la lógica de primer orden. Concretamente, se consideran M-lógicas y K-lógicas, donde M es un modelo y K una clase de modelos. Estas lógicas restringen la clase de modelos considerados...

Descripción completa

Detalles Bibliográficos
Autor: Casanovas Ruiz-Fornells, Enrique
Tipo de recurso: tesis doctoral
Estado:Versión publicada
Fecha de publicación:1987
País:España
Institución:CBUC, CESCA
Repositorio:TDR. Tesis Doctorales en Red
OAI Identifier:oai:www.tdx.cat:10803/675720
Acceso en línea:http://hdl.handle.net/10803/675720
Access Level:acceso abierto
Palabra clave:Lògica matemàtica
Lógica matemática
Mathematical logic
Teoria de models
Teoría de modelos
Model theory
Àlgebra abstracta
Álgebra abstracta
Abstract algebra
Ciències Humanes i Socials
51
1
id ES_8243eb7705d4e2d2549603a8db8feef1
oai_identifier_str oai:www.tdx.cat:10803/675720
network_acronym_str ES
network_name_str España
repository_id_str
spelling Contribuciones a la teoría abstracta de modelosCasanovas Ruiz-Fornells, EnriqueLògica matemàticaLógica matemáticaMathematical logicTeoria de modelsTeoría de modelosModel theoryÀlgebra abstractaÁlgebra abstractaAbstract algebraCiències Humanes i Socials511Se estudian ciertas versiones del teorema de compacidad y del teorema de completud en su aplicación a extensiones de la lógica de primer orden. Concretamente, se consideran M-lógicas y K-lógicas, donde M es un modelo y K una clase de modelos. Estas lógicas restringen la clase de modelos considerados mediante el expediente de exigir que posean un submodelo, determinado de modo canónico isomorfo a M (un submodelo en K en el caso de K-lógicas). Son, pues, generalizaciones de W-lógica. Se muestra que cualquier K-lógica completa para consecuencia es compacta para conjuntos recursivos y que cualquier K-lógica de tipo de semejanza finito completa para validez es completa para consecuencias. Se obtienen también caracterizaciones de compacidad recursiva y W-compacidad para K-lógicas arbitrarias. Posteriormente se analiza la posible compacidad de las M-lógicas obteniendo que para modelos numerables M W-compacidad equivale a W-saturación y compacidad recursiva a saturación recursiva. Este paralelismo ya no se mantiene para modelos no numerables, pues también los modelos especiales resultan ser compactos. Finalmente se consideran una serie de casos particulares (W-lógica, lógica del buen orden y lógica de los números reales) y se analizan en función de los resultados generales obtenidos.Universitat de BarcelonaJané, IgnacioUniversitat de Barcelona. Facultat de Filosofia i Ciències de l'Educació202220221987info:eu-repo/semantics/doctoralThesisinfo:eu-repo/semantics/publishedVersion240 p.application/pdfapplication/pdfhttp://hdl.handle.net/10803/675720TDX (Tesis Doctorals en Xarxa)reponame:TDR. Tesis Doctorales en Redinstname:CBUC, CESCAEspañolL'accés als continguts d'aquesta tesi queda condicionat a l'acceptació de les condicions d'ús establertes per la següent llicència Creative Commons: http://creativecommons.org/licenses/by/4.0/http://creativecommons.org/licenses/by/4.0/info:eu-repo/semantics/openAccessoai:www.tdx.cat:10803/6757202026-06-14T12:46:07Z
dc.title.none.fl_str_mv Contribuciones a la teoría abstracta de modelos
title Contribuciones a la teoría abstracta de modelos
spellingShingle Contribuciones a la teoría abstracta de modelos
Casanovas Ruiz-Fornells, Enrique
Lògica matemàtica
Lógica matemática
Mathematical logic
Teoria de models
Teoría de modelos
Model theory
Àlgebra abstracta
Álgebra abstracta
Abstract algebra
Ciències Humanes i Socials
51
1
title_short Contribuciones a la teoría abstracta de modelos
title_full Contribuciones a la teoría abstracta de modelos
title_fullStr Contribuciones a la teoría abstracta de modelos
title_full_unstemmed Contribuciones a la teoría abstracta de modelos
title_sort Contribuciones a la teoría abstracta de modelos
dc.creator.none.fl_str_mv Casanovas Ruiz-Fornells, Enrique
author Casanovas Ruiz-Fornells, Enrique
author_facet Casanovas Ruiz-Fornells, Enrique
author_role author
dc.contributor.none.fl_str_mv Jané, Ignacio
Universitat de Barcelona. Facultat de Filosofia i Ciències de l'Educació
dc.subject.none.fl_str_mv Lògica matemàtica
Lógica matemática
Mathematical logic
Teoria de models
Teoría de modelos
Model theory
Àlgebra abstracta
Álgebra abstracta
Abstract algebra
Ciències Humanes i Socials
51
1
topic Lògica matemàtica
Lógica matemática
Mathematical logic
Teoria de models
Teoría de modelos
Model theory
Àlgebra abstracta
Álgebra abstracta
Abstract algebra
Ciències Humanes i Socials
51
1
description Se estudian ciertas versiones del teorema de compacidad y del teorema de completud en su aplicación a extensiones de la lógica de primer orden. Concretamente, se consideran M-lógicas y K-lógicas, donde M es un modelo y K una clase de modelos. Estas lógicas restringen la clase de modelos considerados mediante el expediente de exigir que posean un submodelo, determinado de modo canónico isomorfo a M (un submodelo en K en el caso de K-lógicas). Son, pues, generalizaciones de W-lógica. Se muestra que cualquier K-lógica completa para consecuencia es compacta para conjuntos recursivos y que cualquier K-lógica de tipo de semejanza finito completa para validez es completa para consecuencias. Se obtienen también caracterizaciones de compacidad recursiva y W-compacidad para K-lógicas arbitrarias. Posteriormente se analiza la posible compacidad de las M-lógicas obteniendo que para modelos numerables M W-compacidad equivale a W-saturación y compacidad recursiva a saturación recursiva. Este paralelismo ya no se mantiene para modelos no numerables, pues también los modelos especiales resultan ser compactos. Finalmente se consideran una serie de casos particulares (W-lógica, lógica del buen orden y lógica de los números reales) y se analizan en función de los resultados generales obtenidos.
publishDate 1987
dc.date.none.fl_str_mv 1987
2022
2022
dc.type.none.fl_str_mv info:eu-repo/semantics/doctoralThesis
info:eu-repo/semantics/publishedVersion
format doctoralThesis
status_str publishedVersion
dc.identifier.none.fl_str_mv http://hdl.handle.net/10803/675720
url http://hdl.handle.net/10803/675720
dc.language.none.fl_str_mv Español
language_invalid_str_mv Español
dc.rights.none.fl_str_mv http://creativecommons.org/licenses/by/4.0/
info:eu-repo/semantics/openAccess
rights_invalid_str_mv http://creativecommons.org/licenses/by/4.0/
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv 240 p.
application/pdf
application/pdf
dc.publisher.none.fl_str_mv Universitat de Barcelona
publisher.none.fl_str_mv Universitat de Barcelona
dc.source.none.fl_str_mv TDX (Tesis Doctorals en Xarxa)
reponame:TDR. Tesis Doctorales en Red
instname:CBUC, CESCA
instname_str CBUC, CESCA
reponame_str TDR. Tesis Doctorales en Red
collection TDR. Tesis Doctorales en Red
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1869412033933344768
score 15,301603

Similares en LA Referencia