The structure of infinite Friedman trees

DOI10.1006/AIMA.1995.1053MaRDI QIDQ1908484zbMATHOpenAlexFDO

Authors Igor Kriz

Publication date 22 September 1996

Published in Advances in Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1006/aima.1995.1053

zbMATH Keywords

Friedman embedding subject to gap conditionsFriedman treequasi-wellordering

Mathematics Subject Classification ID

Other combinatorial set theory (03E05)

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)