On the quasi-ordering of borel linear orders under embeddability
Journal of Symbolic Logic 55 (2):537-560 (1990)
| Abstract | We provide partial answers to the following problem: Is the class of Borel linear orders well-quasi-ordered under embeddability? We show that it is indeed the case for those Borel orders which are embeddable in R ω , with the lexicographic ordering. For Borel orders embeddable in R 2 , our proof works in ZFC, but it uses projective determinacy for Borel orders embeddable in some $\mathbf{R}^n, n , and hyperprojective determinacy for the general case | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,664 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesMichael Moses (2010). The Block Relation in Computable Linear Orders. Notre Dame Journal of Formal Logic 52 (3):289-305.
Arnold W. Miller (2005). On Relatively Analytic and Borel Subsets. Journal of Symbolic Logic 70 (1):346 - 352.
Justin Tatch Moore (2005). Proper Forcing, Cardinal Arithmetic, and Uncountable Linear Orders. Bulletin of Symbolic Logic 11 (1):51-60.
Kenneth Schilling & Boško Živaljević (1997). Louveau's Theorem for the Descriptive Set Theory of Internal Sets. Journal of Symbolic Logic 62 (2):595-607.
Joël Combase (2011). A Silver-Like Perfect Set Theorem with an Application to Borel Model Theory. Notre Dame Journal of Formal Logic 52 (4):415-429.
Christian Rosendal (2005). Cofinal Families of Borel Equivalence Relations and Quasiorders. Journal of Symbolic Logic 70 (4):1325 - 1340.
Robert Bonnet & Matatyahu Rubin (1991). Elementary Embedding Between Countable Boolean Algebras. Journal of Symbolic Logic 56 (4):1212-1229.
Alberto Marcone & Christian Rosendal (2004). The Complexity of Continuous Embeddability Between Dendrites. Journal of Symbolic Logic 69 (3):663-673.
Alain Louveau (1989). Two Results on Borel Orders. Journal of Symbolic Logic 54 (3):865-874.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads0Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
