- Seminari
- Reverse Mathematics of WQO’s of Transfinite Sequences with Finite Range
Reverse Mathematics of WQO’s of Transfinite Sequences with Finite Range
Relatore
Fedor Pakhomov - Universiteit Gent
Data
9-apr-2024 - Ora:
17:30
Sala Verde (Ca’ Vignal 3 - La Piramide)
In this talk I will present the result about the provability in ATR_0 of the theorem of Nash-Williams that sequences with finite range over a wqo form a wqo. For this we develop a framework where we work with α-wqo’s over primitive recursive set theory extended with a global enumeration function and then transfer the results obtained there to ATR_0.
The talk is based on a research project joint with Giovanni Soldà.
- Data pubblicazione
- 12-apr-2024
- Referente
- Peter Michael Schuster
- Dipartimento
- Informatica