scientific article; zbMATH DE number 3739559

zbMATH Open0472.05019MaRDI QIDQ3926596FDOQ3926596

Authors George Mills 

Publication date 1980

zbMATH Keywords

Peano arithmeticordinalspartition calculusKoenig's infinity lemmaRamsey-Paris-Harrington theory

Mathematics Subject Classification ID

Trees (05C05) Research exposition (monographs, survey articles) pertaining to combinatorics (05-02) Generalized Ramsey theory (05C55) First-order arithmetic and fragments (03F30) Recursive functions and relations, subrecursive hierarchies (03D20)

Cited In (6)

• The median stabilization degree of a median algebra
• Current research on Gödel's incompleteness theorems
• Ranked partial structures
• On Gödel incompleteness and finite combinatorics
• Petri nets and large finite sets
• Combinatorial unprovability proofs and their model-theoretic counterparts

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3926596)