8 found
Order:
  1.  57
    Jack H. Silver. Counting the Number of Equivalence Classes of Borel and Coanalytic Equivalence Relations. Annals of Mathematical Logic, Vol. 18 , Pp. 1–28. - John P. Burgess. Equivalences Generated by Families of Borel Sets. Proceedings of the American Mathematical Society. Vol. 69 , Pp. 323–326. - John P. Burgess. A Reflection Phenomenon in Descriptive Set Theory. Fundamenta Mathematicae. Vol. 104 , Pp. 127–139. - L. Harrington and R. Sami. Equivalence Relations, Projective and Beyond. Logic Colloquium '78, Proceedings of the Colloquium Held in Mons, August 1978, Edited by Maurice Boffa, Dirk van Dalen, and Kenneth McAloon, Studies in Logic and the Foundations of Mathematics, Vol. 97, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1979, Pp. 247–264. - Leo Harrington and Saharon Shelah. Counting Equivalence Classes for Co-Κ-Souslin Equivalence Relations. Logic Colloquium '80, Papers Intended for the European Summer Meeting of the Association for Symbolic Logic, Edit. [REVIEW]Alain Louveau - 1987 - Journal of Symbolic Logic 52 (3):869-870.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  2.  8
    Borel Equivalence Relations Induced by Actions of the Symmetric Group.Greg Hjorth, Alexander S. Kechris & Alain Louveau - 1998 - Annals of Pure and Applied Logic 92 (1):63-112.
    We consider Borel equivalence relations E induced by actions of the infinite symmetric group, or equivalently the isomorphism relation on classes of countable models of bounded Scott rank. We relate the descriptive complexity of the equivalence relation to the nature of its complete invariants. A typical theorem is that E is potentially Π03 iff the invariants are countable sets of reals, it is potentially Π04 iff the invariants are countable sets of countable sets of reals, and so on. The proofs (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  3.  9
    Analytic Ideals and Cofinal Types.Alain Louveau & Boban Velickovi - 1999 - Annals of Pure and Applied Logic 99 (1-3):171-195.
  4.  30
    On the Quasi-Ordering of Borel Linear Orders Under Embeddability.Alain Louveau & Jean Saint-Raymond - 1990 - Journal of Symbolic Logic 55 (2):537-560.
    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.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  5.  8
    Two Results on Borel Orders.Alain Louveau - 1989 - Journal of Symbolic Logic 54 (3):865-874.
    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 (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  6.  15
    San Antonio Convention Center San Antonio, Texas January 14–15, 2006.Douglas Cenzer, C. Ward Henson, Michael C. Laskowski, Alain Louveau, Russell Miller, Itay Neeman, Sergei Starchenko & Valentina Harizanov - 2006 - Bulletin of Symbolic Logic 12 (4).
    Direct download  
     
    Export citation  
     
    Bookmark  
  7.  3
    Recursivity and Capacity Theory.Alain Louveau - 1985 - In Anil Nerode & Richard A. Shore (eds.), Recursion Theory. American Mathematical Society. pp. 285--301.
  8.  2
    [Omnibus Review].Alain Louveau - 1987 - Journal of Symbolic Logic 52 (3):869-870.