Logic seminar: Ivan Di Liberti (University of Stockholm)
Dates: | 14 December 2022 |
Times: | 15:15 - 16:15 |
What is it: | Seminar |
Organiser: | Department of Mathematics |
Who is it for: | University staff, External researchers, Adults, Alumni, Current University students |
|
Title: Spaces of points, ionads of models.
Abstract: For B a boolean algebra, its set of models can be equipped with a natural topology, induced by the boolean algebra. This observation can be taken as a building block for Stone duality, and can serve as a logical interpretation of several topological dualities of Stone-Isbell type. With this motivation in mind, given a first order theory we will try to show that its category of models can be equipped with a topological structure, induced by the theory, in perfect analogy with the propositional counterpart.
References.
I. Di Liberti, Towards Higher Topology. Journal of Pure and Applied Algebra.
I. Di Liberti, Formal Model Theory & Higher topology. arXiv:2010.00319.
M. Makkai, Stone duality for first order logic. Advances in Mathematics.
Travel and Contact Information
Find event
Frank Adams 1 (and zoom, link in email)
Alan Turing Building
Manchester