Compacidad en lógicas con cuantificadores cardinales
Hacemos una presentación del problema de la compacidad paraalgunas lógicas con cuantificadores generalizados. Se recurre luego a las ideas de la prueba de compacidad de Fraïssé para dar una demostración topológica de la compacidad enumerable de los fragmentos monádicos de las lógicas con cuantificad...
- Autores:
-
Vargas, Francisco
- Tipo de recurso:
- Article of journal
- Fecha de publicación:
- 2005
- Institución:
- Universidad Nacional de Colombia
- Repositorio:
- Universidad Nacional de Colombia
- Idioma:
- spa
- OAI Identifier:
- oai:repositorio.unal.edu.co:unal/73586
- Acceso en línea:
- https://repositorio.unal.edu.co/handle/unal/73586
http://bdigital.unal.edu.co/38062/
- Palabra clave:
- Teoría de modelos
cuantificadores generalizados
teorema de compacidad
isomorfismos parciales
métodos topológicos.
- Rights
- openAccess
- License
- Atribución-NoComercial 4.0 Internacional
| Summary: | Hacemos una presentación del problema de la compacidad paraalgunas lógicas con cuantificadores generalizados. Se recurre luego a las ideas de la prueba de compacidad de Fraïssé para dar una demostración topológica de la compacidad enumerable de los fragmentos monádicos de las lógicas con cuantificadores cardinales. Se obtienen otros resultados usando la misma construcción. |
|---|