Phase transition thresholds for some Friedman-style independence results

✍ Scribed by Andreas Weiermann

• Publisher: John Wiley and Sons
• Year: 2007
• Tongue: English
• Weight: 208 KB
• Volume: 53
• Category: Article
• ISSN: 0044-3050
• DOI: 10.1002/malq.200610022

✦ Synopsis

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 statistical physics we finally state a universality hypothesis.