Publicado

2005-07-01

COMPACIDAD EN LÓGICAS CON CUANTIFICADORES CARDINALES

Palabras clave:

Teoría de modelos, cuantificadores generalizados, teorema de compacidad, isomorfismos parciales, métodos topológicos. (es)

Descargas

Autores/as

  • Francisco Vargas Universidad Nacional de Colombia
Hacemos una presentación del problema de la compacidad para
algunas 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.

Visitas a la página del resumen del artículo

383

Descargas

Los datos de descarga aún no están disponibles.

Cómo citar

COMPACIDAD EN LÓGICAS CON CUANTIFICADORES CARDINALES. (2005). Boletín De Matemáticas, 12(2), 114-136. https://revistas.unal.edu.co/index.php/bolma/article/view/40406

Licencia

Derechos de autor 2005 Boletín de Matemáticas

Creative Commons License

Esta obra está bajo una licencia internacional Creative Commons Atribución 4.0.