Phase transitions in Proof Theory - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Discrete Mathematics and Theoretical Computer Science Année : 2010

Phase transitions in Proof Theory

Résumé

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.

Domaines

Algorithme et structure de données [cs.DS] Combinatoire [math.CO] Mathématique discrète [cs.DM] Géométrie algorithmique [cs.CG]
Fichier principal
Vignette du fichier
dmAM0124.pdf (397.07 Ko) Télécharger le fichier
Origine Fichiers éditeurs autorisés sur une archive ouverte

Coordination Episciences Iam  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-01185569

Soumis le : jeudi 20 août 2015-16:32:14

Dernière modification le : mercredi 30 octobre 2024-20:42:05

Archivage à long terme le : mercredi 26 avril 2017-09:58:04

Télécharger pour visualiser

Dates et versions

hal-01185569 , version 1 (20-08-2015)

Identifiants

Citer

Lev Gordeev, Andreas Weiermann. Phase transitions in Proof Theory. 21st International Meeting on Probabilistic, Combinatorial, and Asymptotic Methods in the Analysis of Algorithms (AofA'10), 2010, Vienna, Austria. pp.343-358, ⟨10.46298/dmtcs.2771⟩. ⟨hal-01185569⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

TDS-MACS
72 Consultations
842 Téléchargements

Altmetric

Partager

More