Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 1 of 1 for “"Well quasi-order Higman's lemma Kruskal's theorem reverse mathematics constructive mathematics"”.
-
Proof-Theoretical Aspects of Well Quasi-Orders and Phase Transitions in Arithmetical Provability
In this thesis we study the concept of well quasi-order, originally developed in order theory but nowadays transversal to many areas, in the over-all context of proof theory - more precisely, in reverse mathematics and constructive mathematics. Reversed mathematics, proposed by Harvey Friedman, …