scientific article

zbMath0647.03045MaRDI QIDQ3791148

Stephen G. Simpson

Publication date: 1987

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

zbMATH Keywords

mathematical logicRamsey's theoremfoundations of mathematicsKruskal's theoremGoodstein sequencefinite combinatoricsbase b representation of natural numbersembeddability of finite treesprovability by finite combinatorial means

Mathematics Subject Classification ID

Trees (05C05) Research exposition (monographs, survey articles) pertaining to combinatorics (05-02) Planar graphs; geometric and topological aspects of graph theory (05C10) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) First-order arithmetic and fragments (03F30) Generalized Ramsey theory (05C55) Recursive functions and relations, subrecursive hierarchies (03D20) Second- and higher-order arithmetic and fragments (03F35) Recursive ordinals and ordinal notations (03F15) Ordinal and cardinal numbers (03E10) Connections of number theory and logic (11U99)

Related Items (5)

Effectiveness and provability ⋮ The Paris-Harrington principle and second-order arithmetic -- bridging the finite and infinite Ramsey theorem ⋮ Analyzing Nash-Williams' partition theorem by means of ordinal types ⋮ Fast growing functions based on Ramsey theorems ⋮ Unnamed Item

This page was built for publication: