𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Classifying the phase transition threshold for Ackermannian functions

✍ Scribed by Eran Omri; Andreas Weiermann


Publisher
Elsevier Science
Year
2009
Tongue
English
Weight
459 KB
Volume
158
Category
Article
ISSN
0168-0072

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


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