Phase transitions in Proof Theory
Lev Gordeev, Andreas Weiermann · Discrete Mathematics & Theoretical Computer Science · 2010
Using standard methods of analytic combinatorics we elaborate critical points (thresholds) of phase transitions from provability to unprovability of arithmetical well-partial-ordering assertions in several familiar theories occurring in the reverse mathematics program.