Notre Dame Journal of Formal Logic 60 (4):665-682 (2019)

Authors
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λ-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 the nonstationary ideal restricted to regular cardinals in the space 2κ is Σ11-complete. We finish by showing that, for Π21-indescribable κ, the isomorphism relation between dense linear orders of cardinality κ is Σ11-complete.
Keywords equivalence relations   generalized Baire spaces  large cardinals
Categories (categorize this paper)
DOI 10.1215/00294527-2019-0024
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 64,037
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Full Reflection of Stationary Sets Below ℵω.Thomas Jech & Saharon Shelah - 1990 - Journal of Symbolic Logic 55 (2):822 - 830.
Stationary Cardinals.Wenzhi Sun - 1993 - Archive for Mathematical Logic 32 (6):429-442.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

On Polynomial-Time Relation Reducibility.Su Gao & Caleb Ziegler - 2017 - Notre Dame Journal of Formal Logic 58 (2):271-285.
Superrigidity and Countable Borel Equivalence Relations.Simon Thomas - 2003 - Annals of Pure and Applied Logic 120 (1-3):237-262.
? 0 N -Equivalence Relations.Andrea Sorbi - 1982 - Studia Logica 41 (4):351-358.
Property Τ and Countable Borel Equivalence Relations.Simon Thomas - 2007 - Journal of Mathematical Logic 7 (1):1-34.
Classifying Positive Equivalence Relations.Claudio Bernardi & Andrea Sorbi - 1983 - Journal of Symbolic Logic 48 (3):529-538.
$\sum_{0}^{N}$ -Equivalence Relations.Andrea Sorbi - 1982 - Studia Logica 41 (4):351 - 358.

Analytics

Added to PP index
2019-09-21

Total views
7 ( #1,043,136 of 2,454,407 )

Recent downloads (6 months)
1 ( #449,346 of 2,454,407 )

How can I increase my downloads?

Downloads

My notes