Tag Archives: sheaves

Interpolation and model theoretic forcing – some new perspectives (Campinas, Brazil, 12/18)

Interpolation and model theoretic forcing – some new perspectives.

(A lecture in Cantor Meets Robinson – Set theory, model theory and their philosophy. University of Campinas, Brazil, December 2018.)

Model Theoretic Forcing has been interweaved with interpolation theorems in infinitary logic since the early work of Mostowski, Vaught, Harnik and others. I will present some of these historical connections and their effect on Shelah’s much more recent logic L^1_\kappa. In particular I will focus on some connections between model theoretic forcing and the model theory of abstract elementary classes.

Propagators and Sheaves (Bogotá, 9/18)

Seminario Lógica y Geometría (Bogotá, 9/18).

Mi charla: Propagators and Sheaves.

Uno de los ejemplos provenientes de la física cuántica que ha sido objeto de varios análisis modelo-teóricos en años recientes ha sido el propagador cuántico (trabajos de Zilber y de Hirvonen-Hyttinen). Aquí proponemos otro enfoque, más cercano a la lógica de haces métricos, en trabajo conjunto con Maicol Ochoa. En particular, damos una construcción mediante espacios de Schwartz que permite enfocar el comportamiento del operador asociado al propagador como límite de operadores que actúan sobre espacios finito-dimensionales.

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:

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?

Grasping smoothly and letting go: categoricity and location. Helsinki, 5/15

The Helsinki Collegium for Advanced Study invited me to give a lecture in the interdisciplinary meeting Getting There and Falling Short, where a number of art historians, linguists, mathematicians, philosophers, artists, etc. were invited to reflect on language’s ability of grasping concepts and its own shortcomings. My lecture (Grasping smoothly and letting go: categoricity and location) focused on categoricity and the problem of location.