Code
31517910
Duration
01 January 2010 → 31 December 2012
Funding
Research Foundation - Flanders (FWO)
Promotor
Research disciplines
-
Natural sciences
- History and foundations
Keywords
proof-theoretic ordinal
proof theory
Friedman’s tree theorem
Project description
In this project we investigate well-partial orderings. The long term goal is to determine the proof-theoretic strength of Friedman’s extension of Kruskal’s tehorem for finitely many labels. This difficutl problem has been open since thirty years. As crucial idea towards a solution will consist in the calculation of the maximal order type of the Friedman embedding (and lots of their variants) via a so called collapsing function.