Finite structure for Friedman ideals of finite trees

DOI10.1016/j.jctb.2014.11.007zbMath1307.05112OpenAlexW2133757052MaRDI QIDQ2259862

Yared Nigussie

Publication date: 5 March 2015

Published in: Journal of Combinatorial Theory. Series B (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jctb.2014.11.007

zbMATH Keywords

finite structuresFriedman gap-conditionFriedman ideal

Mathematics Subject Classification ID

Trees (05C05) Graphs and abstract algebra (groups, rings, fields, etc.) (05C25)

Related Items

Well-quasi-ordering Friedman ideals of finite trees proof of Robertson's magic-tree conjecture

Cites Work

• Unnamed Item
• Unnamed Item
• Harvey Friedman's research on the foundations of mathematics
• Algorithm for finding structures and obstructions of tree ideals
• Graph minors. IV: Tree-width and well-quasi-ordering
• On Representatives of Subsets
• Well-Quasi-Ordering, The Tree Theorem, and Vazsonyi's Conjecture