Switch to: References

Add citations

You must login to add citations.
  1. Complexity of distances: Theory of generalized analytic equivalence relations.Marek Cúth, Michal Doucha & Ondřej Kurka - 2022 - Journal of Mathematical Logic 23 (1).
    We generalize the notion of analytic/Borel equivalence relations, orbit equivalence relations, and Borel reductions between them to their continuous and quantitative counterparts: analytic/Borel pseudometrics, orbit pseudometrics, and Borel reductions between them. We motivate these concepts on examples and we set some basic general theory. We illustrate the new notion of reduction by showing that the Gromov–Hausdorff distance maintains the same complexity if it is defined on the class of all Polish metric spaces, spaces bounded from below, from above, and from (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Characterization of ‐like and c 0 ‐like equivalence relations.Longyun Ding - 2014 - Mathematical Logic Quarterly 60 (4-5):273-279.
    In this paper, notions of ‐like and c0‐like equivalence relations are introduced. We characterize the positions of ‐like and c0‐like equivalence relations in the Borel reducibility hierarchy by comparing them with equivalence relations and.
    Download  
     
    Export citation  
     
    Bookmark  
  • 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  • Basis problem for turbulent actions I: Tsirelson submeasures.Ilijas Farah - 2001 - Annals of Pure and Applied Logic 108 (1-3):189-203.
    We use modified Tsirelson's spaces to prove that there is no finite basis for turbulent Polish group actions. This answers a question of Hjorth and Kechris 329–346; Hjorth, Mathematical Surveys and Monographs, American Mathematical Society, Providence, RI, 2000, Section 3.4.3).
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Comparing Borel Reducibility and Depth of an ω-Stable Theory.Martin Koerwien - 2009 - Notre Dame Journal of Formal Logic 50 (4):365-380.
    In "A proof of Vaught's conjecture for ω-stable theories," the notions of ENI-NDOP and eni-depth have been introduced, which are variants of the notions of NDOP and depth known from Shelah's classification theory. First, we show that for an ω-stable first-order complete theory, ENI-NDOP allows tree decompositions of countable models. Then we discuss the relationship between eni-depth and the complexity of the isomorphism relation for countable models of such a theory in terms of Borel reducibility as introduced by Friedman and (...)
    Download  
     
    Export citation  
     
    Bookmark