Abstract
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 λCC;λCC λ-club , the relation of equivalence modulo the nonstationary ideal restricted to SλCC λ in the space .λCC/λCC, being continuously reducible to E 2;λCC λC-club, the relation of equivalence modulo the nonstationary ideal restricted to SλCC λC in the space 2λCC. Then we show that for κ ineffable E 2;κ reg , the relation of equivalence modulo the nonstationary ideal restricted to regular cardinals in the space 2κ is ?11 -complete. We finish by showing that, for ?12 -indescribable κ, the isomorphism relation between dense linear orders of cardinality κ is ?11 -complete.
| Original language | English |
|---|---|
| Pages (from-to) | 665-682 |
| Number of pages | 18 |
| Journal | Notre Dame Journal of Formal Logic |
| Volume | 60 |
| Issue number | 4 |
| DOIs | |
| State | Published - 2019 |
| Externally published | Yes |
Bibliographical note
Publisher Copyright:© 2019 Duke University Press. All rights reserved.
Keywords
- Equivalence relations
- Generalized Baire spaces
- Large cardinals