Dott. Luca Reggio (Università degli Studi di Milano) will give a seminar on Wednesday 30 April 2025 at 11:30 in Sala Riunioni, DipMat.
Title: (Ordered) compact Hausdorff spaces, axiomatically.
Abstract: I will provide an overview of various approaches and results concerning the problem of axiomatising theories that arise in everyday mathematics. A prototypical example is Lawvere’s Elementary Theory of the Category of Sets, which can be understood as a “structural set theory”. I will then discuss the theory of compact Hausdorff spaces, and its order-enriched variant for Nachbin’s compact ordered spaces. Finally, I will outline the connections with duality theory for propositional and first-order logics.
0 Comments