6 found
Order:
  1.  10
    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.
    We study the κ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\kappa $$\end{document}-Borel-reducibility of isomorphism relations of complete first order theories in a countable language and show the consistency of the following: For all such theories T and T′\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$T^{\prime }$$\end{document}, if T is classifiable and T′\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$T^{\prime }$$\end{document} is not, then the isomorphism of models of T′\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  2.  7
    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 (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  3.  25
    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.  8
    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  
  5.  5
    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.
  6.  1
    La recuperación de símbolos del Siglo de Oro en la obra de Jorge Luis Borges.Miguel Antón Moreno - 2022 - Pensamiento 78 (300):1381-1389.
    La obra de Jorge Luis Borges (1899-1986) siempre suele relacionarse con la de autores ajenos a la literatura española como De Quincey, Stevenson, Whitman, Chesterton, Coleridge o Poe. Su anglofilia es bien conocida por todos. También su relación con el idioma de Goethe o con la cultura árabe y Las mil y una noches. Sin embargo, asumiendo su propia sentencia «Mi destino es la lengua castellana, el bronce de Francisco de Quevedo», rastrearemos las huellas indelebles que dejó la literatura española (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark