Vol. 30 Núm. 2 (2023) | Boletín de Matemáticas

Vol. 30 Núm. 2 (2023)

Publicado: 2023-10-11

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 Primer Encuentro de Lógica Brasil-Colombia - Universidad Nacional de Colombia sede Bogotá, Diciembre 14 al 17 de 2021

Pedro H. Zambrano

15-17
- PDF (English)

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

Horn filter pairs and Craig interpolation in Propositional Logic Pares filtro de Horn y interpolación de Craig en Lógica Proposional

Peter Arndt, Hugo Luiz Mariano, Darllan Conceicao Pinto

19-23
- PDF
Sheaf Categories on semicartesian monoidal categories: logical and cohomological aspects Categorías de haces en categorías monoidales semicartesianas: aspectos lógicos y cohomológicos

Ana Luiza Tenorio, Hugo Luiz Mariano

25-30
- PDF
Superestabilidad en Q-Clases Elementales Abstractas Superstability in Q-Abstract Elementary Clases

Nicolás Nájar Salinas

31-39
- PDF
On categories of quantale valued sets Sobre Categorías de Conjuntos Quantale-Valuados

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

41-47
- PDF (English)
Tripos models of Internal Set Theory

José Siqueira

49-55
- PDF (English)
The Essence of Scott's "Continuous Lattices"

Juan F. Meleiro, Hugo Luiz Mariano

57-60
- PDF (English)

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

Independencia del Problema de Whitehead para Algebristas Independence of Whitehead's Problem for Algebraists

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

61-80
- PDF