@article{dmtcs:2771,
    title      = {Phase transitions in Proof Theory},
    author     = {Lev Gordeev and Andreas Weiermann},
    url        = {https://dmtcs.episciences.org/2771},
    doi        = {10.46298/dmtcs.2771},
    journal    = {Discrete Mathematics \& Theoretical Computer Science},
    issn       = {1365-8050},
    volume     = {DMTCS Proceedings vol. AM, 21st International Meeting on Probabilistic, Combinatorial, and Asymptotic Methods in the Analysis of Algorithms (AofA'10)},
    issuetitle = {Proceedings},
    eid        = 1,
    year       = {2010},
    month      = {Jan},
    keywords   = {phase transitions, proof theory, reverse mathematics, asymptotics, analytic combinatorics, well partial orderings, Higman-Kruskal-Friedman theorems, [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS], [MATH.MATH-CO]Mathematics [math]/Combinatorics [math.CO], [INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM], [INFO.INFO-CG]Computer Science [cs]/Computational Geometry [cs.CG]},
    language   = {English},
}