Browsing Revista Colombiana de Matemáticas by Author "Fajardo V., Sergio"
Now showing items 1-1 of 1
-
Compacidad y decidibilidad de lógicas monadicas con cuantificadores cardinales
Fajardo V., SergioEste 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 ...Universidad Nacional de Colombia Revistas electrónicas UN Revista Colombiana de Matemáticas.