Compacidad y decidibilidad de lógicas monadicas con cuantificadores cardinales

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