Works matching IS 01200380 AND DT 2023 AND VI 30 AND IP 2
Results: 7
On categories of quantale valued sets.
- Published in:
- Boletín de Matemáticas, 2023, v. 30, n. 2, p. 1
- By:
- Publication type:
- Article
Sheaf Categories on semicartesian monoidal categories: logical and cohomological aspects.
- Published in:
- Boletín de Matemáticas, 2023, v. 30, n. 2, p. 1
- By:
- Publication type:
- Article
Tripos models of Internal Set Theory.
- Published in:
- Boletín de Matemáticas, 2023, v. 30, n. 2, p. 1
- By:
- Publication type:
- Article
Superestabilidad en Q-Clases Elementales Abstractas.
- Published in:
- Boletín de Matemáticas, 2023, v. 30, n. 2, p. 1
- By:
- Publication type:
- Article
The Essence of Scott's "Continuous Lattices".
- Published in:
- Boletín de Matemáticas, 2023, v. 30, n. 2, p. 1
- By:
- Publication type:
- Article
First Meeting Brazil-Colombia in Logic Universidad Nacional de Colombia at Bogotá, December 14th to 17th, 2021.
- Published in:
- Boletín de Matemáticas, 2023, v. 30, n. 2, p. 1
- By:
- Publication type:
- Article
Horn filter pairs and Craig interpolation in Propositional Logic.
- Published in:
- Boletín de Matemáticas, 2023, v. 30, n. 2, p. 1
- By:
- Publication type:
- Article