For our seminar Mundo/Lógica/Modelos I gave this lecture on forcing on sheaves and connections with quantum mechanics.
Tag Archives: Continuous Model Theory
Independence, Continuity, Tree Properties. Barcelona, 10/16
Two seminar lectures at Universitat de Barcelona in October of 2016, loosely based on our joint work with Berenstein and Hyttinen on Independence, Continuity and Tree Properties.
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.
Semantics on Sheaves (Topological, Metric, etc.). Isfahan, 11/15
At the IPM Institute in Isfahan (Iran) I was invited to give a lecture on Semantics on Sheaves (Topological, Metric, etc.) in November 2015.
Festschrift José Luis Villaveces. Bogotá, 8/15
Durante el Festschrift en honor a mi padre, José Luis Villaveces, en la Academia Colombiana de Ciencias Exactas, Físicas y Naturales, tuve el honor de dar una charla. Fue la primera vez que hablé sobre conexiones entre la teoría de modelos y la química, y lo hice de manera (en ese momento) muy tentativa. La charla se tituló ¿Existe una teoría de modelos de la química? (un diálogo, tres décadas – química y matemática).
De la charla salió también el artículo en un volumen de la Academia en 2017: ¿Hacia una teoría de modelos de la química?
Andrés Villaveces 