On the quasi-ordering of borel linear orders under embeddability

Journal of Symbolic Logic 55 (2):537-560 (1990)


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

Download options


    Upload a copy of this work     Papers currently archived: 72,660

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library


Added to PP

36 (#320,199)

6 months
1 (#388,784)

Historical graph of downloads
How can I increase my downloads?

Similar books and articles

References found in this work

On the Determinacy of Games on Ordinals.L. A. Harrington - 1981 - Annals of Mathematical Logic 20 (2):109.

Add more references

Citations of this work

A Wadge Hierarchy for Second Countable Spaces.Yann Pequignot - 2015 - Archive for Mathematical Logic 54 (5-6):659-683.
Borel Quasi-Orderings in Subsystems of Second-Order Arithmetic.Alberto Marcone - 1991 - Annals of Pure and Applied Logic 54 (3):265-291.
A Multiplication Operation for the Hierarchy of Norms.Alexander C. Block & Benedikt Löwe - 2018 - Annals of Pure and Applied Logic 169 (7):656-673.

Add more citations