Journal of Symbolic Logic
- J. Symbolic Logic
- Volume 64, Issue 4 (1999), 1519-1526.
The Complexity of the Collection of Countable Linear Orders of the Form I + I
First we prove that the set of countable linear orders of the form I + I form a complete analytic set. As a consequence of this we improve a result of Humke and Laczkovich, who showed in [HL] that the set of functions of the form f $\circ$ f form a true analytic set in C[0, 1]. We show that these functions form a complete analytic set, solving a problem mentioned on p. 215 of [K1] and on p. 4 of [B].
J. Symbolic Logic, Volume 64, Issue 4 (1999), 1519-1526.
First available in Project Euclid: 6 July 2007
Permanent link to this document
Mathematical Reviews number (MathSciNet)
Zentralblatt MATH identifier
Beleznay, Ferenc. The Complexity of the Collection of Countable Linear Orders of the Form I + I. J. Symbolic Logic 64 (1999), no. 4, 1519--1526. https://projecteuclid.org/euclid.jsl/1183745934