Phase transition thresholds for some Fri
β
Andreas Weiermann
π
Article
π
2007
π
John Wiley and Sons
π
English
β 208 KB
We classify the phase transition thresholds from provability to unprovability for certain Friedman-style miniaturizations of Kruskal's Theorem and Higman's Lemma. In addition we prove a new and unexpected phase transition result for Ξ΅0. Motivated by renormalization and universality issues from stati