scientific article; zbMATH DE number 4031662

MaRDI QIDQ3772201zbMATH OpenFDO

Authors J. Nešetřil, Robin Thomas

Publication date 1987

zbMATH Keywords

combinatorial undecidable resultscompactness theoremsEpidemiesfinite forms of Kruskal's theoremHercules and Hydrainfinite graphslong combinatorial gamessurveywell quasi-ordering

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Undecidability and degrees of sets of sentences (03D35) Other combinatorial set theory (03E05) First-order arithmetic and fragments (03F30) Research exposition (monographs, survey articles) pertaining to combinatorics (05-02) Trees (05C05) 2-person games (91A05)

Recommendations

• scientific article; zbMATH DE number 4031661
• Unprovable combinatorial statements
• Well-partial orderings and their maximal order types
• Well quasi-order in combinatorics: embeddings and homomorphisms
• scientific article; zbMATH DE number 35094

Cited in

(4)

• Exact unprovability results for compound well-quasi-ordered combinatorial classes
• Epidemiography. II: Games with a dozing yet winning player
• Epidemiography with various growth functions
• Constructive complexity

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 Q3772201)