Talk by Anton Freund

Short Title: 
Talk by A. Freund
Event Date(s): 
Thursday, 4. October 2018 - 10:15 to 11:30

Room A097, ExWi, Sidlerstrasse 5, 3012 Bern

Dr. Anton Freund (TU Darmstadt)

Computing with Bachmann-Howard fixed points

The principle of \Pi^1_1-comprehension is equivalent to the
statement that every dilator has a well-founded Bachmann-Howard fixed
point (arXiv:1809.06759). In my talk I will explain what this means. I
will then present a small step of the proof in detail: One can use
Bachmann-Howard fixed points to compute the Turing jump.