Talk by Anton Freund

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

Venue:
Room A097, ExWi, Sidlerstrasse 5, 3012 Bern

Speaker:
Dr. Anton Freund (TU Darmstadt)

Title:
Computing with Bachmann-Howard fixed points

Abstract:
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.

http://www.ltg.unibe.ch/lectures/HS18/LTCS