Phase transition thresholds for some Friedman-style independence results

DOI10.1002/malq.200610022zbMath1110.03051OpenAlexW1988195694MaRDI QIDQ3423145

Andreas Weiermann

Publication date: 20 February 2007

Published in: MLQ (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.200610022

zbMATH Keywords

asymptotic analysisPeano arithmeticindependence resultsenumerative combinatorics

Mathematics Subject Classification ID

Exact enumeration problems, generating functions (05A15) First-order arithmetic and fragments (03F30) Asymptotic enumeration (05A16) Ramsey theory (05D10) Recursive ordinals and ordinal notations (03F15)

Related Items (6)

Phase Transitions for Weakly Increasing Sequences ⋮ Phase transitions of iterated Higman-style well-partial-orderings ⋮ CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS ⋮ Exact unprovability results for compound well-quasi-ordered combinatorial classes ⋮ Phase transitions for Gödel incompleteness ⋮ Classifying the phase transition threshold for Ackermannian functions

Cites Work

• Unnamed Item
• Unnamed Item

This page was built for publication: Phase transition thresholds for some Friedman-style independence results