Laver, Richard Better-quasi-orderings and a class of trees. (English) Zbl 0446.06002 Studies in foundations and combinatorics, Adv. Math., Suppl. Stud., Vol. 1, 31-48 (1978). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 1 ReviewCited in 12 Documents MSC: 06A06 Partial orders, general 05C05 Trees Keywords:better-quasi-orderings; quasi-ordered set; transfinite sequence theorem; infinite tree theorem; scattered trees Citations:Zbl 0432.00006; Zbl 0144.233; Zbl 0155.024 PDFBibTeX XML