Sep 15, 2023 3:00 pm
207 Gregory Hall
- Sponsor
- Department of Mathematics
- Speaker
- Anthony D'Arienzo
- Contact
- Samuel Hsu
- samuelh6@illinois.edu
- Originating Calendar
- Graduate Student Seminars in Mathematics
- Title: Homotopy Groups of First-Order TheoriesAbstract: This summer Campion and Ye released a paper calculating the second homotopy group on the classifying space of the first-order theory of dense cyclic orders with two points. This expounds on their earlier work on classifying spaces for theories and their model-theoretic properties. Campion and Ye’s construction is a surprising application of Quillen’s Theorem A.I will outline Campion and Ye’s work, and I will show how it fits into a network of papers building a bridge between first-order logic and topology.