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.
Conjeturas estándar y teoría de modelos – Bogotá (v), 6/20
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 
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.
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.
Quantum j-mappings (Model Theory and Sheaves). Oxford, 6/16
A blackboard lecture for the Oxford Logic seminar on quantum-j. Here, some preparatory notes.
The Model Theory of some j-functions. New York, 3/16
For the CUNY Logic Workshop I gave the lecture The Model Theory of some j-functions, in March of 2016.
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?
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.
