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...

Full description

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