Compacidad y decidibilidad de lógicas monadicas con cuantificadores cardinales

Sergio Fajardo V.

Published

1980-05-01

Compacidad y decidibilidad de lógicas monadicas con cuantificadores cardinales

Keywords:

Estudio, extensiones de la lógica, propiedades fundamentales (es)

Downloads

PDF (Español)

Authors

Sergio Fajardo V. University of Wisconsin

Abstract (es)

Este artículo se refiere al estudio de extensiones de la lógica de primer orden (L_ωω) que preservan ciertas propiedades fundamentales, y aumentan su poder expresivo, en el sentido de que permiten axiomatizar clases de estructuras no expresables L_ωω.

How to Cite

APA

Fajardo V., S. (1980). Compacidad y decidibilidad de lógicas monadicas con cuantificadores cardinales. Revista Colombiana de Matemáticas, 14(3), 173–196. https://revistas.unal.edu.co/index.php/recolma/article/view/32286

ACM

[1]

Fajardo V., S. 1980. Compacidad y decidibilidad de lógicas monadicas con cuantificadores cardinales. Revista Colombiana de Matemáticas. 14, 3 (May 1980), 173–196.

ACS

(1)

Fajardo V., S. Compacidad y decidibilidad de lógicas monadicas con cuantificadores cardinales. rev.colomb.mat 1980, 14, 173-196.

ABNT

FAJARDO V., S. Compacidad y decidibilidad de lógicas monadicas con cuantificadores cardinales. Revista Colombiana de Matemáticas, [S. l.], v. 14, n. 3, p. 173–196, 1980. Disponível em: https://revistas.unal.edu.co/index.php/recolma/article/view/32286. Acesso em: 2 feb. 2025.

Chicago

Fajardo V., Sergio. 1980. “Compacidad y decidibilidad de lógicas monadicas con cuantificadores cardinales”. Revista Colombiana De Matemáticas 14 (3):173-96. https://revistas.unal.edu.co/index.php/recolma/article/view/32286.

Harvard

Fajardo V., S. (1980) “Compacidad y decidibilidad de lógicas monadicas con cuantificadores cardinales”, Revista Colombiana de Matemáticas, 14(3), pp. 173–196. Available at: https://revistas.unal.edu.co/index.php/recolma/article/view/32286 (Accessed: 2 February 2025).

IEEE

[1]

S. Fajardo V., “Compacidad y decidibilidad de lógicas monadicas con cuantificadores cardinales”, rev.colomb.mat, vol. 14, no. 3, pp. 173–196, May 1980.

MLA

Fajardo V., S. “Compacidad y decidibilidad de lógicas monadicas con cuantificadores cardinales”. Revista Colombiana de Matemáticas, vol. 14, no. 3, May 1980, pp. 173-96, https://revistas.unal.edu.co/index.php/recolma/article/view/32286.

Turabian

Fajardo V., Sergio. “Compacidad y decidibilidad de lógicas monadicas con cuantificadores cardinales”. Revista Colombiana de Matemáticas 14, no. 3 (May 1, 1980): 173–196. Accessed February 2, 2025. https://revistas.unal.edu.co/index.php/recolma/article/view/32286.

Vancouver

1.

Fajardo V. S. Compacidad y decidibilidad de lógicas monadicas con cuantificadores cardinales. rev.colomb.mat [Internet]. 1980 May 1 [cited 2025 Feb. 2];14(3):173-96. Available from: https://revistas.unal.edu.co/index.php/recolma/article/view/32286