Boletín de Matemáticas

About the Journal

The Boletín de Matemáticas publishes original research, teaching, extension and outreach in all areas of mathematics. Also publishes articles regarding epistemological, philosophical and historical mathematics and book reviews and revisions. It is intended for mathematicians, math teachers, historians and philosophers of mathematics, and in general to all those interested in a better understanding of mathematics. The articles published are reviewed in EBSCO, MathSciNet, Mathematical Reviews, Zentralblatt für Mathematik, Latindex, Dialnet and Publindex.

doi:10.15446/bm

Current Issue

Vol. 30 No. 2 (2023)

Published: 2023-10-11

Proceedings First Brazil-Colombia Meeting in Logic - Reviews

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

Proceedings First Brazil-Colombia Meeting in Logic - Short Papers (extended abstracts)

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 (Español)
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 (Español)
Superestabilidad en Q-Clases Elementales Abstractas Superstability in Q-Abstract Elementary Clases

Nicolás Nájar Salinas

31-39
- PDF (Español)
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
Tripos models of Internal Set Theory

José Siqueira

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

Juan F. Meleiro, Hugo Luiz Mariano

57-60
- PDF

Proceedings First Brazil-Colombia Meeting in Logic - Full Papers

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 (Español)

View All Issues

Boletín de Matemáticas

About the Journal

Current Issue

Vol. 30 No. 2 (2023)

Proceedings First Brazil-Colombia Meeting in Logic - Reviews

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

Proceedings First Brazil-Colombia Meeting in Logic - Short Papers (extended abstracts)

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

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

Superestabilidad en Q-Clases Elementales Abstractas Superstability in Q-Abstract Elementary Clases

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

Tripos models of Internal Set Theory

The Essence of Scott's "Continuous Lattices"

Proceedings First Brazil-Colombia Meeting in Logic - Full Papers

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

Make a Submission

Indexación

Keywords

IBN Publindex

Latindex

Dialnet