Phase transitions in Proof Theory

Lev Gordeev, Andreas Weiermann
2010 Discrete Mathematics & Theoretical Computer Science  
International audience 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.
doi:10.46298/dmtcs.2771 fatcat:4waoq43rjbgnlnm4rddfqzujxy