Moshe Kamensky en Bogotá: charla en el Mundo/Lógica/Modelos en la UNAL este martes
3 views
Skip to first unread message
Andres Villaveces Nino
Jun 28, 2025, 1:14:10 PMJun 28
to log...@googlegroups.com, Correo Departamento De Matemáticas Ciencias, Posgrados En Matematicas Un Bogota, kamens...@gmail.com
Buenas tardes.
Este martes 1° de julio Moshe Kamensky dará una charla que pinta realmente muy interesante en nuestro Seminario Mundo/Lógica/Modelos en la UNAL.
Moshe Kamensky
Ben Gurion University in the Negev
Martes 1° de julio - 14:00
404-204
Universidad Nacional de Colombia
Title: Towards model theory for homotopical structures
Abstract:
The framework of first order logic appears to be ill-suited for
homotopical structures, where relations hold only up to (coherent)
homotopy. However, recent results suggest that some variant of model
theory could exist and be useful there. Specifically, arXiv:1711.00844
puts to good use a homotopical variant of ultraproducts, and
arXiv:2207.09929 develops a notion similar to existential closedness,
and uses it (in a particular setting) to resolve some longstanding
conjectures in stable homotopy.
I will give a rather speculative talk in which I will outline these
examples, explain what could be their model-theoretic content, and
describe some attempts to produce a variant of logic that might
implement this. I will assume no technical background in homotopy theory
(and actually, almost no model theory).
Abstract:
The framework of first order logic appears to be ill-suited for
homotopical structures, where relations hold only up to (coherent)
homotopy. However, recent results suggest that some variant of model
theory could exist and be useful there. Specifically, arXiv:1711.00844
puts to good use a homotopical variant of ultraproducts, and
arXiv:2207.09929 develops a notion similar to existential closedness,
and uses it (in a particular setting) to resolve some longstanding
conjectures in stable homotopy.
I will give a rather speculative talk in which I will outline these
examples, explain what could be their model-theoretic content, and
describe some attempts to produce a variant of logic that might
implement this. I will assume no technical background in homotopy theory
(and actually, almost no model theory).
Andrés Villaveces Niño
Director
Departamento de Matemáticas
Universidad Nacional de Colombia
111321 - Bogotá
+57 601 316-5207
Director
Departamento de Matemáticas
Universidad Nacional de Colombia
111321 - Bogotá
+57 601 316-5207
Reply all
Reply to author
Forward
0 new messages