Equivalence Relations Which Are Borel Somewhere

Chan, William (2017) Equivalence Relations Which Are Borel Somewhere. Journal of Symbolic Logic, 82 (03). pp. 893-930. ISSN 0022-4812. doi:10.1017/jsl.2017.22. https://resolver.caltech.edu/CaltechAUTHORS:20171002-095042985

PDF - Submitted Version
See Usage Policy.
459kB

Use this Persistent URL to link to this item: https://resolver.caltech.edu/CaltechAUTHORS:20171002-095042985

Abstract

The following will be shown: Let I be a σ-ideal on a Polish space X so that the associated forcing of I + Δ^1_1 sets ordered by ⊆ is a proper forcing. Let E be a Σ^1_1 or a ∏^1_1 equivalence relation on X with all equivalence classes Δ^1_1. If for all z ∈_H(2^N0)+, z ♯ exists, then there exists an I + Δ^1_1 set C ⊆ X such that E ↾ C is a Δ^1_1 equivalence relation.

Item Type:

Article

Related URLs:

URL	URL Type	Description
https://doi.org/10.1017/jsl.2017.22	DOI	Article
https://www.cambridge.org/core/journals/journal-of-symbolic-logic/article/equivalence-relations-which-are-borel-somewhere/BC6491561BCBF1A098025D610417BFED	Publisher	Article
https://arxiv.org/abs/1511.07981	arXiv	Discussion Paper

Additional Information:

Funders:

Funding Agency	Grant Number
NSF	DMS-1464475
NSF	DMS-1044448

Issue or Number:

Classification Code:

MSC: 03E15; 03E35; 03E55

DOI:

10.1017/jsl.2017.22

Record Number:

CaltechAUTHORS:20171002-095042985

Persistent URL:

https://resolver.caltech.edu/CaltechAUTHORS:20171002-095042985

Official Citation:

CHAN, W. (2017). EQUIVALENCE RELATIONS WHICH ARE BOREL SOMEWHERE. The Journal of Symbolic Logic, 82(3), 893-930. doi:10.1017/jsl.2017.22

Usage Policy:

No commercial reproduction, distribution, display or performance rights in this work are provided.

ID Code:

81939

Collection:

CaltechAUTHORS

Deposited By:

Tony Diaz

Deposited On:

02 Oct 2017 17:17

Last Modified:

15 Nov 2021 19:47

Repository Staff Only: item control page