For the Seminario de Topología y Teoría de Conjuntos at UNAM in Morelia, I gave a lecture where a blend of infinitary logic, large cardinals and forcing were explored.
Tag Archives: mexico
Sheaves of Metric Structures / Generalized Amalgamation Classes… and Limit Models: Implicit Logics – Puebla, 8/16
In the context of WOLLIC 2016 (Workshop on Logic, Language, Information and Computation) at the Benemérita Universidad Autónoma de Puebla I spoke about part of our joint work with Maicol Ochoa, in two formats:
- A lecture on Sheaves of Metric Structures (where I emphasized the logical part of this work.)
- A tutorial on Generalized Amalgamation Classes… and Limit Models: Implicit Logics.
Andrés Villaveces 