COMPACIDAD EN LÓGICAS CON CUANTIFICADORES CARDINALES

Francisco Vargas

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

PDF

Autores/as

Francisco Vargas Universidad Nacional de Colombia

Resumen (es)

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.

Cómo citar

APA

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

ACM

[1]

Vargas, F. 2005. COMPACIDAD EN LÓGICAS CON CUANTIFICADORES CARDINALES. Boletín de Matemáticas. 12, 2 (jul. 2005), 114–136.

ACS

(1)

Vargas, F. COMPACIDAD EN LÓGICAS CON CUANTIFICADORES CARDINALES. Bol. Matemáticas 2005, 12, 114-136.

ABNT

VARGAS, F. COMPACIDAD EN LÓGICAS CON CUANTIFICADORES CARDINALES. Boletín de Matemáticas, [S. l.], v. 12, n. 2, p. 114–136, 2005. Disponível em: https://revistas.unal.edu.co/index.php/bolma/article/view/40406. Acesso em: 13 ene. 2026.

Chicago

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

Harvard

Vargas, F. (2005) «COMPACIDAD EN LÓGICAS CON CUANTIFICADORES CARDINALES», Boletín de Matemáticas, 12(2), pp. 114–136. Disponible en: https://revistas.unal.edu.co/index.php/bolma/article/view/40406 (Accedido: 13 enero 2026).

IEEE

[1]

F. Vargas, «COMPACIDAD EN LÓGICAS CON CUANTIFICADORES CARDINALES», Bol. Matemáticas, vol. 12, n.º 2, pp. 114–136, jul. 2005.

MLA

Vargas, F. «COMPACIDAD EN LÓGICAS CON CUANTIFICADORES CARDINALES». Boletín de Matemáticas, vol. 12, n.º 2, julio de 2005, pp. 114-36, https://revistas.unal.edu.co/index.php/bolma/article/view/40406.

Turabian

Vargas, Francisco. «COMPACIDAD EN LÓGICAS CON CUANTIFICADORES CARDINALES». Boletín de Matemáticas 12, no. 2 (julio 1, 2005): 114–136. Accedido enero 13, 2026. https://revistas.unal.edu.co/index.php/bolma/article/view/40406.

Vancouver

1.

Vargas F. COMPACIDAD EN LÓGICAS CON CUANTIFICADORES CARDINALES. Bol. Matemáticas [Internet]. 1 de julio de 2005 [citado 13 de enero de 2026];12(2):114-36. Disponible en: https://revistas.unal.edu.co/index.php/bolma/article/view/40406