The complexity of the collection of countable linear orders of the form I + I
Journal of Symbolic Logic 64 (4):1519-1526 (1999)
| Abstract | 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 ⚬ 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] | |||||||||
| 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,679 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesShaughan Lavine (1991). Dual Easy Uniformization and Model-Theoretic Descriptive Set Theory. Journal of Symbolic Logic 56 (4):1290-1316.
Peter Aczel, Laura Crosilla, Hajime Ishihara, Erik Palmgren & Peter Schuster (2006). Binary Refinement Implies Discrete Exponentiation. Studia Logica 84 (3):361 - 368.
Robert S. Lubarsky & Michael Rathjen (2008). On the Constructive Dedekind Reals. Logic and Analysis 1 (2):131-152.
Øystein Linnebo (2010). Pluralities and Sets. Journal of Philosophy 107 (3):144-164.
Alberto Marcone & Christian Rosendal (2004). The Complexity of Continuous Embeddability Between Dendrites. Journal of Symbolic Logic 69 (3):663-673.
Mark Nadel & Jonathan Stavi (1977). The Pure Part of HYP(M). Journal of Symbolic Logic 42 (1):33-46.
Menachem Kojman & Saharon Shelah (1992). Nonexistence of Universal Orders in Many Cardinals. Journal of Symbolic Logic 57 (3):875-891.
Laura Crosilla, Hajime Ishihara & Peter Schuster (2005). On Constructing Completions. Journal of Symbolic Logic 70 (3):969 - 978.
Dev K. Roy & Richard Watnick (1988). Finite Condensations of Recursive Linear Orders. Studia Logica 47 (4):311 - 317.
Alain Louveau (1989). Two Results on Borel Orders. Journal of Symbolic Logic 54 (3):865-874.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads8 ( #123,092 of 549,071 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
