Ghent University Academic Bibliography

Advanced

Phase transitions in proof theory

Lev Gordeev and Andreas Weiermann UGent (2010) DISCRETE MATHEMATICS AND THEORETICAL COMPUTER SCIENCE. p.343-358
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.
Please use this url to cite or link to this publication:
author
organization
year
type
conference (other)
publication status
published
subject
keyword
analytic combinatorics, proof theory, Higman-Kruskal-Friedman theorems, well partial orderings, reverse mathematics, asymptotics, phase transitions
in
DISCRETE MATHEMATICS AND THEORETICAL COMPUTER SCIENCE
Discret. Math. Theor. Comput. Sci.
editor
Michael Drmota and Bernhard Guttenberger
issue title
Proceedings of AofA 2010
pages
343 - 358
conference name
21st International meeting on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms (AofA 2010)
conference location
Vienna, Austria
conference start
2010-06-28
conference end
2010-07-02
JCR category
MATHEMATICS
JCR impact factor
0.607 (2010)
JCR rank
130/276 (2010)
JCR quartile
2 (2010)
ISSN
1365-8050
project
PTLC
language
English
UGent publication?
yes
classification
C1
copyright statement
I have retained and own the full copyright for this publication
id
1246855
handle
http://hdl.handle.net/1854/LU-1246855
date created
2011-05-30 11:29:00
date last changed
2018-01-15 12:43:39
@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},
}

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.