Now showing items 1-1 of 1

    • Compacidad en lógicas con cuantificadores cardinales 

      Vargas, Francisco
      Hacemos una presentación del problema de la compacidad paraalgunas lógicas con cuantificadores generalizados. Se recurre luego a las ideas de la prueba de compacidad de Fraïssé para dar una demostración topológica de la ...
      Universidad Nacional de Colombia Revistas electrónicas UN Boletín de Matemáticas.