Phase transitions in Proof Theory

Lev Gordeev 1 Andreas Weiermann 2
1 Eberhard Karls Universität Tübingen
2 UGENT - Ghent University [Belgium]
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 : phase transitions proof theory reverse mathematics asymptotics analytic combinatorics well partial orderings Higman-Kruskal-Friedman theorems
Type de document :
Communication dans un congrès
Drmota, Michael and Gittenberger, Bernhard. 21st International Meeting on Probabilistic, Combinatorial, and Asymptotic Methods in the Analysis of Algorithms (AofA'10), 2010, Vienna, Austria. Discrete Mathematics and Theoretical Computer Science, DMTCS Proceedings vol. AM, 21st International Meeting on Probabilistic, Combinatorial, and Asymptotic Methods in the Analysis of Algorithms (AofA'10), pp.343-358, 2010, DMTCS Proceedings
Liste complète des métadonnées

Littérature citée [21 références]  Voir  Masquer  Télécharger
https://hal.inria.fr/hal-01185569
Contributeur : Coordination Episciences Iam <>
Soumis le : jeudi 20 août 2015 - 16:32:14
Dernière modification le : mercredi 25 avril 2018 - 20:50:04
Document(s) archivé(s) le : mercredi 26 avril 2017 - 09:58:04

Fichier

dmAM0124.pdf
Fichiers éditeurs autorisés sur une archive ouverte

Identifiants

  • HAL Id : hal-01185569, version 1

Collections

INSMI | TDS-MACS

Citation

Lev Gordeev, Andreas Weiermann. Phase transitions in Proof Theory. Drmota, Michael and Gittenberger, Bernhard. 21st International Meeting on Probabilistic, Combinatorial, and Asymptotic Methods in the Analysis of Algorithms (AofA'10), 2010, Vienna, Austria. Discrete Mathematics and Theoretical Computer Science, DMTCS Proceedings vol. AM, 21st International Meeting on Probabilistic, Combinatorial, and Asymptotic Methods in the Analysis of Algorithms (AofA'10), pp.343-358, 2010, DMTCS Proceedings. 〈hal-01185569〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

88

Téléchargements de fichiers

106

Contact


archive-ouverte@inria.fr