Published September 2017
| Submitted
Journal Article
Open
Equivalence Relations Which Are Borel Somewhere
- Creators
- Chan, William
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.
Additional Information
© 2017 The Association for Symbolic Logic. Published online: 08 September 2017. Research partially supported by NSF grants DMS-1464475 and EMSW21-RTG DMS-1044448.Attached Files
Submitted - 1511.07981.pdf
Files
1511.07981.pdf
Files
(459.2 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:c4b5331b9d8d11e9f687720f96f39844
|
459.2 kB | Preview Download |
Additional details
- Eprint ID
- 81939
- Resolver ID
- CaltechAUTHORS:20171002-095042985
- DMS-1464475
- NSF
- DMS-1044448
- NSF
- Created
-
2017-10-02Created from EPrint's datestamp field
- Updated
-
2021-11-15Created from EPrint's last_modified field