Thin Equivalence Relations in Scaled Pointclasses
An inner model-theoretic proof that every thin ΣJα(R)1 equivalence relation is ∆Jα(R)1 in a certain parameter is presented for ordinals α beginning a Σ1 gap in L(R) where ΣJα(R)1 is closed under number quantification. We use the (optimal) hypothesis ADJα(R). Several results in descriptive set theory...
Main Author: | |
---|---|
Other Authors: | |
Format: | Text |
Language: | English |
Published: |
2011
|
Subjects: | |
Online Access: | http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.643.2723 http://www.math.uni-bonn.de/people/schlicht/Thin/thin_revised_03.pdf |
id |
ftciteseerx:oai:CiteSeerX.psu:10.1.1.643.2723 |
---|---|
record_format |
openpolar |
spelling |
ftciteseerx:oai:CiteSeerX.psu:10.1.1.643.2723 2023-05-15T18:12:18+02:00 Thin Equivalence Relations in Scaled Pointclasses Ralf Schindler The Pennsylvania State University CiteSeerX Archives 2011 application/pdf http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.643.2723 http://www.math.uni-bonn.de/people/schlicht/Thin/thin_revised_03.pdf en eng http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.643.2723 http://www.math.uni-bonn.de/people/schlicht/Thin/thin_revised_03.pdf Metadata may be used without restrictions as long as the oai identifier remains attached to it. http://www.math.uni-bonn.de/people/schlicht/Thin/thin_revised_03.pdf text 2011 ftciteseerx 2016-01-08T16:03:23Z An inner model-theoretic proof that every thin ΣJα(R)1 equivalence relation is ∆Jα(R)1 in a certain parameter is presented for ordinals α beginning a Σ1 gap in L(R) where ΣJα(R)1 is closed under number quantification. We use the (optimal) hypothesis ADJα(R). Several results in descriptive set theory proved from determinacy have been studied from an inner model-theoretic perspective [3, 4]. In this line of research we present a new proof of a result of Harrington and Sami [1] on thin equivalence relations. The proof allows us to isolate the optimal hypothesis for the following type of equivalence relation. Theorem 0.1. Let α ≥ 2 begin a Σ1 gap in L(R) and assume ADJα(R). Also, setting Γ = ΣJα(R)1, assume Γ to be closed under number quantification, i.e., ∀NΓ ⊂ Γ. Let E be a thin Γ equivalence relation and N an α-suitable mouse with a capturing term for a universal Γ set. Then E is Γ ̆ in any real coding N as a parameter. An equivalence relation E is called thin if there is no perfect set of pairwiseE–inequivalent Text sami Unknown |
institution |
Open Polar |
collection |
Unknown |
op_collection_id |
ftciteseerx |
language |
English |
description |
An inner model-theoretic proof that every thin ΣJα(R)1 equivalence relation is ∆Jα(R)1 in a certain parameter is presented for ordinals α beginning a Σ1 gap in L(R) where ΣJα(R)1 is closed under number quantification. We use the (optimal) hypothesis ADJα(R). Several results in descriptive set theory proved from determinacy have been studied from an inner model-theoretic perspective [3, 4]. In this line of research we present a new proof of a result of Harrington and Sami [1] on thin equivalence relations. The proof allows us to isolate the optimal hypothesis for the following type of equivalence relation. Theorem 0.1. Let α ≥ 2 begin a Σ1 gap in L(R) and assume ADJα(R). Also, setting Γ = ΣJα(R)1, assume Γ to be closed under number quantification, i.e., ∀NΓ ⊂ Γ. Let E be a thin Γ equivalence relation and N an α-suitable mouse with a capturing term for a universal Γ set. Then E is Γ ̆ in any real coding N as a parameter. An equivalence relation E is called thin if there is no perfect set of pairwiseE–inequivalent |
author2 |
The Pennsylvania State University CiteSeerX Archives |
format |
Text |
author |
Ralf Schindler |
spellingShingle |
Ralf Schindler Thin Equivalence Relations in Scaled Pointclasses |
author_facet |
Ralf Schindler |
author_sort |
Ralf Schindler |
title |
Thin Equivalence Relations in Scaled Pointclasses |
title_short |
Thin Equivalence Relations in Scaled Pointclasses |
title_full |
Thin Equivalence Relations in Scaled Pointclasses |
title_fullStr |
Thin Equivalence Relations in Scaled Pointclasses |
title_full_unstemmed |
Thin Equivalence Relations in Scaled Pointclasses |
title_sort |
thin equivalence relations in scaled pointclasses |
publishDate |
2011 |
url |
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.643.2723 http://www.math.uni-bonn.de/people/schlicht/Thin/thin_revised_03.pdf |
genre |
sami |
genre_facet |
sami |
op_source |
http://www.math.uni-bonn.de/people/schlicht/Thin/thin_revised_03.pdf |
op_relation |
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.643.2723 http://www.math.uni-bonn.de/people/schlicht/Thin/thin_revised_03.pdf |
op_rights |
Metadata may be used without restrictions as long as the oai identifier remains attached to it. |
_version_ |
1766184846194900992 |