4 found
Order:
Disambiguations
Miguel Moreno [5]Miguel Ángel Aragón Moreno [1]Miguel Olmedo Moreno [1]
See also
  1.  5
    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 math formula. In the main result we show for inaccessible κ, that if T is a classifiable theory and math formula is stable with the orthogonal chain property, then the isomorphism of models of T is Borel reducible to the isomorphism of models of math formula.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  2
    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 (2 more)  
     
    Export citation  
     
    Bookmark  
  3.  18
    Bioethics and Human Enhancement: An Interview with Julian Savulescu.M. Ángeles Arráez, Miguel Moreno, Francisco Lara, Pedro Francés & Javier Rodríguez Alcázar - 2010 - Dilemata 3:15-25.
  4.  9
    A Generalized Borel-Reducibility Counterpart of Shelah’s Main Gap Theorem.Tapani Hyttinen, Vadim Kulikov & Miguel Moreno - 2017 - Archive for Mathematical Logic 56 (3-4):175-185.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark