# 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.

- Log in to post comments