| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
Phase transitions in Proof Theory
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.
Cited literature [21 references]
https://hal.inria.fr/hal-01185569
Contributor : Coordination Episciences Iam <>
Submitted on : Thursday, August 20, 2015 - 4:32:14 PM
Last modification on : Wednesday, April 25, 2018 - 8:50:04 PM
Long-term archiving on: : Wednesday, April 26, 2017 - 9:58:04 AM
Contributor : Coordination Episciences Iam <>
Submitted on : Thursday, August 20, 2015 - 4:32:14 PM
Last modification on : Wednesday, April 25, 2018 - 8:50:04 PM
Long-term archiving on: : Wednesday, April 26, 2017 - 9:58:04 AM
File
dmAM0124.pdf
Publisher files allowed on an open archive