Proving a witness lemma in better-quasiordering theory: the method of ‘extensions’

DOI10.1017/S0305004100078075zbMath0733.06001OpenAlexW2331624515WikidataQ124809774 ScholiaQ124809774MaRDI QIDQ3360225

Igor Kriz

Publication date: 1989

Published in: Mathematical Proceedings of the Cambridge Philosophical Society (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0305004100078075

zbMATH Keywords

treesorder typesordinalsconcrete categories\(\sigma \) -scattered linear orderingsbad arrayBQO theorywell-behaved classes

Mathematics Subject Classification ID

Partial orders, general (06A06) Trees (05C05) Total orders (06A05) Preorders, orders, domains and lattices (viewed as categories) (18B35) Ordinal and cardinal numbers (03E10)

Cites Work

• Unnamed Item
• On Fraissé's order type conjecture
• A counter-example to ‘Wagner's conjecture’ for infinite graphs
• Borel sets and Ramsey's theorem
• Ordering by Divisibility in Abstract Algebras