On Fraïssé's conjecture for linear orders of finite Hausdorff rank

DOI10.1016/j.apal.2009.01.007zbMath1184.03006OpenAlexW2101320428WikidataQ122926065 ScholiaQ122926065MaRDI QIDQ1032636

Alberto Marcone, Antonio Montalbán

Publication date: 26 October 2009

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2009.01.007

zbMATH Keywords

reverse mathematicsFraïssé's conjecturemaximal order typeHausdorff rank

Mathematics Subject Classification ID

Combinatorics of partially ordered sets (06A07) Foundations of classical theories (including reverse mathematics) (03B30) Applications of computability and recursion theory (03D80) Second- and higher-order arithmetic and fragments (03F35)

Related Items

Reverse Mathematics: The Playground of Logic, Open Questions in Reverse Mathematics, Euclidean algorithm for a class of linear orders, Fraïssé’s conjecture in Π11-comprehension, On the logical strength of the better quasi order with three elements, The maximal linear extension theorem in second order arithmetic, The Reverse Mathematics of wqos and bqos, The Veblen functions for computability theorists, Laver and set theory

Cites Work

• The metamathematics of scattered linear orderings
• Proof-theoretic investigations on Kruskal's theorem
• Equivalence between Fraïssé's conjecture and Jullien's theorem
• On Fraissé's order type conjecture
• On the Equimorphism Types of Linear Orderings
• Ordinal numbers and the Hilbert basis theorem
• The role of parameters in bar rule and bar induction
• Reverse mathematics and the equivalence of definitions for well and better quasi-orders
• Well-Quasi-Ordering, The Tree Theorem, and Vazsonyi's Conjecture
• Invariants, Boolean algebras and ACA₀⁺
• Ordering by Divisibility in Abstract Algebras
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item