- Seminars
- Reverse Mathematics of WQO’s of Transfinite Sequences with Finite Range
Reverse Mathematics of WQO’s of Transfinite Sequences with Finite Range
Speaker
Fedor Pakhomov - Universiteit Gent
Date
Apr 9, 2024 - Time:
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
- Apr 12, 2024
- Contact person
- Peter Michael Schuster
- Department
- Computer Science