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: