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 Borelreducibility between equivalence relations modulo restrictions of the nonstationary ideal on some fixed cardinal K. 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^(2,λ;++)_(λ+club), the relation of equivalence modulo the nonstationary 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 nonstationary ideal restricted to regular cardinals in the space 2^K, is Σ^1_1complete. We finish by showing, for Π^1_2indescribable K, that the isomorphism relation between dense linear orders of cardinality K is Σ^1_1complete.


PDF

arXiv

Journal