Fitxers
Tipus de document
TesiVersió
Versió publicadaData de publicació
Llicència de publicació
Si us plau utilitzeu sempre aquest identificador per citar o enllaçar aquest document: https://hdl.handle.net/2445/189922
Contribuciones a la teoría abstracta de modelos
Títol de la revista
Director/Tutor
ISSN de la revista
Títol del volum
Recurs relacionat
Resum
[spa] 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.
Matèries (anglès)
Citació
Citació
CASANOVAS RUIZ-FORNELLS, Enrique. Contribuciones a la teoría abstracta de modelos. [consulted: 14 of August of 2026]. Available at: https://hdl.handle.net/2445/189922