The structure of infinite Friedman trees

DOI10.1006/AIMA.1995.1053zbMATH Open0846.03022OpenAlexW2010240477MaRDI QIDQ1908484FDOQ1908484

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

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

zbMATH Keywords

Friedman embedding subject to gap conditionsFriedman treequasi-wellordering

Mathematics Subject Classification ID

Other combinatorial set theory (03E05)

Cited In (7)

• Tree self-embeddings
• Asymmetrization of infinite trees
• Infinite towers of tree lattices
• Well-quasiordering finite trees with gap-condition. Proof of Harvey Friedman's conjecture
• Gap embedding for well-quasi-orderings
• Quasi-bounded trees and analytic inductions
• Full-splitting Miller trees and infinitely often equal reals

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)