scientific article; zbMATH DE number 2212833

zbMath1082.03048MaRDI QIDQ5696111

Gyesik Lee

Publication date: 10 October 2005

Full work available at URL: http://d-nb.info/975570153

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

generating functionsphase transitionordinal notationsRamsey theoremKruskal theorem

Mathematics Subject Classification ID

Exact enumeration problems, generating functions (05A15) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) First-order arithmetic and fragments (03F30) Other combinatorial set theory (03E05) Recursive ordinals and ordinal notations (03F15)

Related Items (10)

Phase transition results for three Ramsey-like theorems ⋮ Unprovability of sharp versions of Friedman’s sine-principle ⋮ Unnamed Item ⋮ Sharp thresholds for hypergraph regressive Ramsey numbers ⋮ Combinatorial unprovability proofs and their model-theoretic counterparts ⋮ Sharp thresholds for the phase transition between primitive recursive and Ackermannian Ramsey numbers ⋮ Relationship between Kanamori-McAloon Principle and Paris-Harrington Theorem ⋮ Exact unprovability results for compound well-quasi-ordered combinatorial classes ⋮ Classifying the phase transition threshold for Ackermannian functions ⋮ Analytic combinatorics, proof-theoretic ordinals, and phase transitions for independence results

This page was built for publication: