Boletín de matemáticas

• 

  Año 2023, Vol. 30, Número 2

  • Proceedings Primer Encuentro de Lógica Brasil-Colombia - Reseñas

    • First Meeting Brazil-Colombia in Logic Universidad Nacional de Colombia at Bogotá, December 14th to 17th, 2021

      • Texto completo

      págs. 15-17

      

  • Proceedings Primer Encuentro de Lógica Brasil-Colombia - Artículos cortos (resúmenes extendidos)

    • Horn filter pairs and Craig interpolation in Propositional Logic

      Peter Arndt, Hugo Luiz Mariano, Darllan Conceicao Pinto

      • Texto completo

      págs. 19-23

      

    • Sheaf Categories on semicartesian monoidal categories: logical and cohomological aspects

      Ana Luiza Tenorio, Hugo Luiz Mariano

      • Texto completo

      págs. 25-30

      

    • Superestabilidad en Q-Clases Elementales Abstractas

      Nicolás Nájar Salinas

      • Texto completo

      págs. 31-39

      

    • On categories of quantale valued sets

      José Goudet Alvim, Caio de Andrade Mendes, Hugo Luiz Mariano

      • Texto completo

      págs. 41-47

      

    • Tripos models of Internal Set Theory

      José Siqueira

      • Texto completo

      págs. 49-55

      

    • The Essence of Scott's "Continuous Lattices"

      Juan F. Meleiro, Hugo Luiz Mariano

      • Texto completo

      págs. 57-60

      

  • Proceedings Primer Encuentro de Lógica Brasil-Colombia - Artículos Completos

    • Independencia del Problema de Whitehead para Algebristas

      Diego A. Mejía, Carlos Parra Londoño

      • Resumen
      • Texto completo

      págs. 61-79