Switch to: References

Add citations

You must login to add citations.
  1. The isomorphism relation of theories with S-DOP in the generalised Baire spaces.Miguel Moreno - 2022 - Annals of Pure and Applied Logic 173 (2):103044.
  • On Unsuperstable Theories in Gdst.Miguel Moreno - forthcoming - Journal of Symbolic Logic:1-27.
    We study the $\kappa $ -Borel-reducibility of isomorphism relations of complete first-order theories by using coloured trees. Under some cardinality assumptions, we show the following: For all theories T and T’, if T is classifiable and T’ is unsuperstable, then the isomorphism of models of T’ is strictly above the isomorphism of models of T with respect to $\kappa $ -Borel-reducibility.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • On the reducibility of isomorphism relations.Tapani Hyttinen & Miguel Moreno - 2017 - Mathematical Logic Quarterly 63 (3-4):175-192.
    We study the Borel reducibility of isomorphism relations in the generalized Baire space. In the main result we show for inaccessible κ, that if T is a classifiable theory and is stable with the orthogonal chain property (OCP), then the isomorphism of models of T is Borel reducible to the isomorphism of models of.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • The complexity of the embeddability relation between torsion-free Abelian groups of uncountable size.Filippo Calderoni - 2018 - Journal of Symbolic Logic 83 (2):703-716.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Reducibility of Equivalence Relations Arising from Nonstationary Ideals under Large Cardinal Assumptions.David Asperó, Tapani Hyttinen, Vadim Kulikov & Miguel Moreno - 2019 - Notre Dame Journal of Formal Logic 60 (4):665-682.
    Working under large cardinal assumptions such as supercompactness, we study the Borel reducibility between equivalence relations modulo restrictions of the nonstationary ideal on some fixed cardinal κ. We show the consistency of Eλ-clubλ++,λ++, the relation of equivalence modulo the nonstationary ideal restricted to Sλλ++ in the space λ++, being continuously reducible to Eλ+-club2,λ++, the relation of equivalence modulo the nonstationary ideal restricted to Sλ+λ++ in the space 2λ++. Then we show that for κ ineffable Ereg2,κ, the relation of equivalence modulo (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark