Annals of Pure and Applied Logic 160 (3):355-367 (2009)

Abstract
We prove that the maximal order type of the wqo of linear orders of finite Hausdorff rank under embeddability is φ2, the first fixed point of the ε-function. We then show that Fraïssé’s conjecture restricted to linear orders of finite Hausdorff rank is provable in +“φ2 is well-ordered” and, over , implies +“φ2 is well-ordered”
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1016/j.apal.2009.01.007
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 51,668
Through your library

References found in this work BETA

Proof-Theoretic Investigations on Kruskal's Theorem.Michael Rathjen & Andreas Weiermann - 1993 - Annals of Pure and Applied Logic 60 (1):49-88.
On the Equimorphism Types of Linear Orderings.Antonio Montalbán - 2007 - Bulletin of Symbolic Logic 13 (1):71-99.
Ordinal Numbers and the Hilbert Basis Theorem.Stephen G. Simpson - 1988 - Journal of Symbolic Logic 53 (3):961-974.

View all 9 references / Add more references

Citations of this work BETA

Open Questions in Reverse Mathematics.Antonio Montalbán - 2011 - Bulletin of Symbolic Logic 17 (3):431-454.
Reverse Mathematics: The Playground of Logic.Richard A. Shore - 2010 - Bulletin of Symbolic Logic 16 (3):378-402.
The Veblen Functions for Computability Theorists.Alberto Marcone & Antonio Montalbán - 2011 - Journal of Symbolic Logic 76 (2):575 - 602.
Fraïssé’s Conjecture in [Math]-Comprehension.Antonio Montalbán - 2017 - Journal of Mathematical Logic 17 (2):1750006.

View all 6 citations / Add more citations

Similar books and articles

Up to Equimorphism, Hyperarithmetic Is Recursive.Antonio Montalbán - 2005 - Journal of Symbolic Logic 70 (2):360 - 378.
The Block Relation in Computable Linear Orders.Michael Moses - 2011 - Notre Dame Journal of Formal Logic 52 (3):289-305.
On Ehrenfeucht-Fraïssé Equivalence of Linear Orderings.Juha Oikkonen - 1990 - Journal of Symbolic Logic 55 (1):65-73.
Fields of Finite Morley Rank.Frank Wagner - 2001 - Journal of Symbolic Logic 66 (2):703-706.
Coloring Linear Orders with Rado's Partial Order.Riccardo Camerlo & Alberto Marcone - 2007 - Mathematical Logic Quarterly 53 (3):301-305.
Complexity Ranks of Countable Models.Su Gao - 2007 - Notre Dame Journal of Formal Logic 48 (1):33-48.
Centralisateurs Génériques.Bruno Poizat - 2013 - Journal of Symbolic Logic 78 (1):290-306.
Vaught’s Conjecture for Superstable Theories of Finite Rank.Steven Buechler - 2008 - Annals of Pure and Applied Logic 155 (3):135-172.
Supersimple Ω-Categorical Groups and Theories.David M. Evans & Frank O. Wagner - 2000 - Journal of Symbolic Logic 65 (2):767-776.
The Geometry of Forking and Groups of Finite Morley Rank.Anand Pillay - 1995 - Journal of Symbolic Logic 60 (4):1251-1259.

Analytics

Added to PP index
2013-12-22

Total views
7 ( #966,268 of 2,331,392 )

Recent downloads (6 months)
1 ( #588,490 of 2,331,392 )

How can I increase my downloads?

Downloads

My notes