The structure of infinite Friedman trees
From MaRDI portal
Publication:1908484
Recommendations
- Well-quasiordering finite trees with gap-condition. Proof of Harvey Friedman's conjecture
- Gap embedding for well-quasi-orderings
- scientific article; zbMATH DE number 3914378
- Generalizing Kruskal's theorem to pairs of cohabitating trees
- On well-quasi-ordering infinite trees---Nash-Williams's theorem revisited
- scientific article; zbMATH DE number 1795230
- On trees and tree dimension of ordered sets
- On Better-Quasi-Ordering Countable Series-Parallel Orders
- A theorem on labelled trees and the limits of its provability
- On better quasi-ordering countable trees
Cited in
(8)- Infinite towers of tree lattices
- Gap embedding for well-quasi-orderings
- Tree self-embeddings
- Quasi-bounded trees and analytic inductions
- Full-splitting Miller trees and infinitely often equal reals
- Well-quasiordering finite trees with gap-condition. Proof of Harvey Friedman's conjecture
- Asymmetrization of infinite trees
- Calculating maximal order types for finite rooted unstructured labeled trees
This page was built for publication: The structure of infinite Friedman trees
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1908484)