Advanced search
1 file | 406.60 KB

Phase transitions in proof theory

Author
Organization
Project
PTLC
Abstract
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.
Keywords
analytic combinatorics, proof theory, Higman-Kruskal-Friedman theorems, well partial orderings, reverse mathematics, asymptotics, phase transitions

Downloads

  • gordeevweiermann.pdf
    • full text
    • |
    • open access
    • |
    • PDF
    • |
    • 406.60 KB

Citation

Please use this url to cite or link to this publication:

Chicago
Gordeev, Lev, and Andreas Weiermann. 2010. “Phase Transitions in Proof Theory.” In Discrete Mathematics and Theoretical Computer Science, ed. Michael Drmota and Bernhard Guttenberger, 343–358.
APA
Gordeev, L., & Weiermann, A. (2010). Phase transitions in proof theory. In M. Drmota & B. Guttenberger (Eds.), DISCRETE MATHEMATICS AND THEORETICAL COMPUTER SCIENCE (pp. 343–358). Presented at the 21st International meeting on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms (AofA 2010).
Vancouver
1.
Gordeev L, Weiermann A. Phase transitions in proof theory. In: Drmota M, Guttenberger B, editors. DISCRETE MATHEMATICS AND THEORETICAL COMPUTER SCIENCE. 2010. p. 343–58.
MLA
Gordeev, Lev, and Andreas Weiermann. “Phase Transitions in Proof Theory.” Discrete Mathematics and Theoretical Computer Science. Ed. Michael Drmota & Bernhard Guttenberger. 2010. 343–358. Print.
@inproceedings{1246855,
  abstract     = {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.},
  author       = {Gordeev, Lev and Weiermann, Andreas},
  booktitle    = {DISCRETE MATHEMATICS AND THEORETICAL COMPUTER SCIENCE},
  editor       = {Drmota, Michael and Guttenberger, Bernhard},
  issn         = {1365-8050},
  keyword      = {analytic combinatorics,proof theory,Higman-Kruskal-Friedman theorems,well partial orderings,reverse mathematics,asymptotics,phase transitions},
  language     = {eng},
  location     = {Vienna, Austria},
  pages        = {343--358},
  title        = {Phase transitions in proof theory},
  year         = {2010},
}