En el evento en honor a los 80 años de Xavier Caicedo (Lógica en Perspectiva – Homenaje a Xavier Caicedo) en la Universidad de los Andes (Bogotá, diciembre de 2024) di la conferencia Entre teoría de modelos y física / algunas aperturas caicedianas.
Tag Archives: sheaves
Pseudoexponentials and covers – Model theory meets some arithmetic geometry. Cali, 10/24
Lógica y geometría/física: un vaivén natural – Bogotá, 6/24
En el 26° Encuentro de Geometría y Aplicaciones (Universidad Pedagógica Nacional – Bogotá) en Junio de 2024 di la conferencia Lógica y geometría/física: un vaivén natural.
Una mirada al forcing en haces, con aplicaciones en cuántica. Bogotá, 8/23
For our seminar Mundo/Lógica/Modelos I gave this lecture on forcing on sheaves and connections with quantum mechanics.
Completeness as (TOPol) reconstruction of (LOGic)
In the context of the Brazilian seminar Lógicos em Quarentena, organized by the Sociedade Brasileira de Lógica, I gave the lecture Completeness as (TOPol) reconstruction of (LOGic).
Here are the slides:
Matemáticas y temporalidad: una relación difícil. Una lectura de Florenski y Bergson – Bogotá (v) – 4/21
For Tertulias Matemáticas (session devoted to the problem of Time in Mathematics and Literature), I gave the presentation Matemáticas y temporalidad: una relación difícil. Una lectura de Florenski y Bergson.
Conjeturas estándar y teoría de modelos – Bogotá (v), 6/20
Participación en Tertulias Matemáticas de la Universidad Nacional de Colombia
con brevísima intervención llamada Conjeturas estándar y teoría de modelos.
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 
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.
Model Theory and Non-Locality. Leipzig, 10/16.
At the Max-Planck-Institut für Mathematik in den Naturwissenschafften I gave a lecture on Model Theory and Non-Locality during the Mathematics in Chemistry meeting, in October of 2016.
Andrés Villaveces 