Compacidad y decidibilidad de lógicas monadicas con cuantificadores cardinales

Sergio Fajardo V.

Veröffentlicht

1980-05-01

Compacidad y decidibilidad de lógicas monadicas con cuantificadores cardinales

Schlagworte:

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

Downloads

PDF (Español)

Autor/innen

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

Zitationsvorschlag

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 (Mai 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), S. 173–196. Verfügbar unter: https://revistas.unal.edu.co/index.php/recolma/article/view/32286 (Zugegriffen: 2 Februar 2025).

IEEE

[1]

S. Fajardo V., „Compacidad y decidibilidad de lógicas monadicas con cuantificadores cardinales“, rev.colomb.mat, Bd. 14, Nr. 3, S. 173–196, Mai 1980.

MLA

Fajardo V., S. „Compacidad y decidibilidad de lógicas monadicas con cuantificadores cardinales“. Revista Colombiana de Matemáticas, Bd. 14, Nr. 3, Mai 1980, S. 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 (Mai 1, 1980): 173–196. Zugegriffen Februar 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]. 1. Mai 1980 [zitiert 2. Februar 2025];14(3):173-96. Verfügbar unter: https://revistas.unal.edu.co/index.php/recolma/article/view/32286