Compacidad y decidibilidad de lógicas monadicas con cuantificadores cardinales

Sergio Fajardo V.

Pubblicato

1980-05-01

Compacidad y decidibilidad de lógicas monadicas con cuantificadores cardinales

Parole chiave:

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

##submission.downloads##

PDF (Español)

Autori

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

Come citare

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 (mag. 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: 22 gen. 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), pagg. 173–196. Available at: https://revistas.unal.edu.co/index.php/recolma/article/view/32286 (Consultato: 22 gennaio 2025).

IEEE

[1]

S. Fajardo V., «Compacidad y decidibilidad de lógicas monadicas con cuantificadores cardinales», rev.colomb.mat, vol. 14, n. 3, pagg. 173–196, mag. 1980.

MLA

Fajardo V., S. «Compacidad y decidibilidad de lógicas monadicas con cuantificadores cardinales». Revista Colombiana de Matemáticas, vol. 14, n. 3, maggio 1980, pagg. 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 (maggio 1, 1980): 173–196. Consultato gennaio 22, 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]. 1 maggio 1980 [citato 22 gennaio 2025];14(3):173-96. Available at: https://revistas.unal.edu.co/index.php/recolma/article/view/32286