Generalizing Kruskal's theorem to pairs of cohabitating trees

DOI10.1007/s00153-015-0457-4zbMath1352.06001OpenAlexW2279279365MaRDI QIDQ5964929

No author found.

Publication date: 2 March 2016

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00153-015-0457-4

zbMATH Keywords

treewell-quasi-orderingKruskal's theorem

Mathematics Subject Classification ID

Combinatorics of partially ordered sets (06A07) Other combinatorial set theory (03E05)

Related Items (4)

Pure patterns of order 2 ⋮ Analysis of a Double Kruskal Theorem ⋮ Pure \(\Sigma_2\)-elementarity beyond the core ⋮ A Glimpse of $$ \sum_{3} $$-elementarity

Cites Work

• Unnamed Item
• Unnamed Item
• Patterns of resemblance of order 2
• Ordinal arithmetic and \(\Sigma_1\)-elementarity
• The theory of well-quasi-ordering: a frequently discovered concept
• Well-quasi-orderings and sets of finite sequences
• Well-Quasi-Ordering, The Tree Theorem, and Vazsonyi's Conjecture
• Ordering by Divisibility in Abstract Algebras
• Elementary patterns of resemblance

This page was built for publication: Generalizing Kruskal's theorem to pairs of cohabitating trees