Fr, 03.11.2017, 13:30
From Cut Elimination to Pi^1_1-Comprehension
Logik-Seminar

Referent: Anton Freund, University of Leeds
Raum: S2|15-201

I will begin with an informal explanation of cut elimination and its use in the ordinal analysis of Peano arithmetic. The latter shows that Pi^0_2-soundness is equivalent to the primitive recursive well-foundedness of an ordinal notation system. On a conceptual level, we observe that the focus is on low logical complexity. Next, I explain how an ordinal notation system can be relativized to a given well-order. This brings us to the level of Pi^1_2-statements. Many well-known axioms of that complexity have been characterized in terms of relativized ordinal notation systems: from arithmetical comprehension (Girard, Hirst) up to the existence of omega-models of bar induction (Rathjen and Vizcaíno). Finally, I present a new result at the next type-level: Following a suggestion by Montalbán and Rathjen, I relativize an ordinal notation system to a relativized ordinal notation system. In this way one can get a characterization of Pi^1_1-comprehension, which is a Pi^1_3-statement (preprint available as arXiv:1704.01662).

Kontakt

Technische Universität Darmstadt
Fachbereich Mathematik
Arbeitsgruppe Logik

S2|15
Schloßgartenstraße 7
64289 Darmstadt

Tel.: +49-(0)6151-1622863
Fax: +49-(0)6151-1622840

logik@mathematik.tu-darmstadt.de

Sekretariat
Raum S2|15-206
Betina Schubotz

Öffnungszeiten:
Mo. - Fr.  10:00-15:00


 
« Dezember 2017 »
Mo Di Mi Do Fr Sa So
48 1 2 3
49 4 5 6 7 8 9 10
50 11 12 13 14 15 16 17
51 18 19 20 21 22 23 24
52 25 26 27 28 29 30 31

Im Gebäude S2|15 im
Lageplan
der TUD,
Abschnitt Stadtmitte Nord,
oder unter Anreise.

A A A | Print Drucken | Impressum Impressum | Contact Kontakt
    zum Seitenanfangzum Seitenanfang