Anton Freund- Bachmann Howard Fixed Points
Explore a 33-minute lecture on Bachmann-Howard fixed points delivered by Anton Freund as part of the Hausdorff Trimester Program: Types, Sets and Constructions. Delve into the concept of dilators, which transform well-orders into other well-orders in a uniform manner. Learn about Bachmann-Howard fixed points and their relationship to dilators through a practical example. Discover the general process for constructing these fixed points. Examine the main finding from Freund's PhD thesis, which establishes an equivalence between the existence of well-founded Bachmann-Howard fixed points for all dilators and ∏11-comprehension. Gain insights into advanced topics in mathematical logic and set theory through this in-depth exploration of Bachmann-Howard fixed points and their significance in the field.