For the Cátedra Pensamiento Estético Latinoamericano at the Faculty of Human Sciences of Universidad Nacional de Colombia, I gave the invited lecture Estética / Lógica / Imagen – Un panorama de temas de estética y matemática.
Author Archives: a v n
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.
Draw Me After You – Helsinki, 6/23
With the artist María Clara Cortés, we gave a joint invited lecture for the event The Mathematical Drawing/Diagram: An Interdisciplinary Symposium, University of Helsinki, June 2023.
Here are the slides (the text was read alternately):
Drawing Mathematics / Some openings. Helsinki, 6/23
Initial (invited) lecture for the event The Mathematical Drawing/Diagram: An Interdisciplinary Symposium, University of Helsinki, June 2023.
On Bill Lawvere’s seminal `The Category of Categories’ (1964-1966). Bogotá, 05/23
In the context of the Homage to Bill Lawvere organized in two Colombian universities (Universidad Nacional de Colombia-Bogotá and Universidad del Tolima), I gave a lecture exploring the paper The Category of Categories as a Foundation for Mathematics from the production of Bill Lawvere in the mid-1960s.
Dos lógicas extrañas, grandes cardinales y algo de forcing. Morelia, 12/22
For the Seminario de Topología y Teoría de Conjuntos at UNAM in Morelia, I gave a lecture where a blend of infinitary logic, large cardinals and forcing were explored.
A (wide) view of possible roles for Model Theory in the 21st century Cali (v) – October 2022
For ICMAM (Univalle, October 2022) I gave a lecture on my view of possible roles for Model Theory in the 21st century. This was a very large audience conference.
The Harris/Zilber theory of j: Understanding Types
For the Bogotá/Chicago Learning Seminar (UIC/UNAL), I gave a series of two lectures in September and October 2022, The Harris/Zilber theory of j: Understanding Types.
Around Definability in AECs: Logics and Patterns – Helsinki (v), 9/22
For the Helsinki Logic Seminar, I gave in September 2022 (virtually) the talk Around Definability in AECs: Logics and Patterns.
Around dependent abstract elementary classes. Costa Rica, 7/22
For the SLALM (Simposio Latinoamericano de Lógica Matemática) 2022, in San José (Universidad de Costa Rica), I gave the lecture Around dependent abstract elementary classes.
Andrés Villaveces 