Finite structure for Friedman ideals of finite trees
From MaRDI portal
Publication:2259862
DOI10.1016/J.JCTB.2014.11.007zbMATH Open1307.05112OpenAlexW2133757052MaRDI QIDQ2259862FDOQ2259862
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
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- On Representatives of Subsets
- Harvey Friedman's research on the foundations of mathematics
- Well-Quasi-Ordering, The Tree Theorem, and Vazsonyi's Conjecture
- Graph minors. IV: Tree-width and well-quasi-ordering
- Algorithm for finding structures and obstructions of tree ideals
Cited In (2)
This page was built for publication: Finite structure for Friedman ideals of finite trees
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2259862)