Miguel Moreno

University Researcher, Department of Mathematics and Statistics, University of Helsinki .

Miguel Moreno

University Researcher, Department of Mathematics and Statistics, University of Helsinki .

Picture of Colombia

Publications with David Asperó



1. David Asperó , Tapani Hyttinen , Vadim Kulikov , Miguel Moreno , Reducibility of equivalence relations arising from nonstationary ideals under large cardinal assumptions . Notre Dame Journal of Formal Logic (2019) 60: 665 -- 682.
Abstract: Working under large cardinal assumptions such as supercompactness, westudy the Borel-reducibility between equivalence relations modulo restrictions of the non-stationary ideal on some fixed cardinal K. We show the consis-tency of E^(λ++,λ++)_(λ-club), the relation of equivalence modulo the non-stationary ideal restricted to S^(λ++)_λ in the space (λ++)^(λ++), being continuously reducible to E^(2,λ;++)_(λ+-club), the relation of equivalence modulo the non-stationary ideal restricted to S^(λ++)_(λ+) in the space 2^(λ++). Then we show that for K ineffable E^(2,K)_(reg), the relation of equivalence modulo the non-stationary ideal restricted to regular cardinals in the space 2^K, is Σ^1_1-complete. We finish by showing, for Π^1_2-indescribable K, that the isomorphism relation between dense linear orders of cardinality K is Σ^1_1-complete.
PDF - arXiv - Journal