Analyzing Nash-Williams' partition theorem by means of ordinal types

DOI10.1016/0012-365X(91)90334-XzbMath0754.05070OpenAlexW2087213846MaRDI QIDQ1191918

Robin Thomas, Igor Kriz

Publication date: 27 September 1992

Published in: Discrete Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0012-365x(91)90334-x

zbMATH Keywords

Ramsey numbersNash-Williams' partition theoremordinal types

Mathematics Subject Classification ID

Ramsey theory (05D10)

Related Items (1)

Formalizing Ordinal Partition Relations Using Isabelle/HOL

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Rapidly growing Ramsey functions
• Ein in der reinen Zahlentheorie unbeweisbarer Satz über endliche Folgen von natürlichen Zahlen
• Well-Quasi-Ordering, The Tree Theorem, and Vazsonyi's Conjecture
• Combinatorial Theorems on Classifications of Subsets of a Given Set

This page was built for publication: Analyzing Nash-Williams' partition theorem by means of ordinal types