Journal of Symbolic Logic

Two Results on Borel Orders

Alain Louveau

Full-text is available via JSTOR, for JSTOR subscribers. Go to this article in JSTOR.


We prove two results about the embeddability relation between Borel linear orders: For $\eta$ a countable ordinal, let $2^\eta$ (resp. $2^{<\eta}$) be the set of sequences of zeros and ones of length $\eta$ (resp. $<\eta$), equipped with the lexicographic ordering. Given a Borel linear order $X$ and a countable ordinal $\xi$, we prove the following two facts. (a) Either $X$ can be embedded (in a $\triangle^1_1(X,\xi)$ way) in $2^{\omega\xi}$, or $2^{\omega\xi + 1}$ continuously embeds in $X$. (b) Either $X$ can embedded (in a $\triangle^1_1(X,\xi)$ way) in $2^{\omega\xi}$, or $2^{\omega\xi}$ continuously embeds in $X$. These results extend previous work of Harrington, Shelah and Marker.

Article information

J. Symbolic Logic, Volume 54, Issue 3 (1989), 865-874.

First available in Project Euclid: 6 July 2007

Permanent link to this document

Mathematical Reviews number (MathSciNet)

Zentralblatt MATH identifier



Louveau, Alain. Two Results on Borel Orders. J. Symbolic Logic 54 (1989), no. 3, 865--874.

Export citation