Thin Equivalence Relations in Scaled
We give a new proof via inner model theory that every thin Σ Jα(R) 1 equivalence relation is ∆ Jα(R) 1, where α begins a Σ1 gap and Σ Jα(R) 1 is closed under number quanti cation, assuming AD Jα(R). In the recent past several results previously proved by direct applications of the axiom of determina...
Main Author: | |
---|---|
Other Authors: | |
Format: | Text |
Language: | English |
Published: |
2010
|
Subjects: | |
Online Access: | http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.180.1730 http://wwwmath.uni-muenster.de/math/inst/logik/org/staff/rds/Thin.pdf |
id |
ftciteseerx:oai:CiteSeerX.psu:10.1.1.180.1730 |
---|---|
record_format |
openpolar |
spelling |
ftciteseerx:oai:CiteSeerX.psu:10.1.1.180.1730 2023-05-15T18:12:56+02:00 Thin Equivalence Relations in Scaled Ralf Schindler The Pennsylvania State University CiteSeerX Archives 2010 application/pdf http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.180.1730 http://wwwmath.uni-muenster.de/math/inst/logik/org/staff/rds/Thin.pdf en eng http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.180.1730 http://wwwmath.uni-muenster.de/math/inst/logik/org/staff/rds/Thin.pdf Metadata may be used without restrictions as long as the oai identifier remains attached to it. http://wwwmath.uni-muenster.de/math/inst/logik/org/staff/rds/Thin.pdf text 2010 ftciteseerx 2016-01-07T16:26:07Z We give a new proof via inner model theory that every thin Σ Jα(R) 1 equivalence relation is ∆ Jα(R) 1, where α begins a Σ1 gap and Σ Jα(R) 1 is closed under number quanti cation, assuming AD Jα(R). In the recent past several results previously proved by direct applications of the axiom of determinacy were shown via an inner model theoretic approach. Here we give an inner model theoretic proof of a result of Harrington and Sami [1] on thin equivalence relations. The proof makes it possible to isolate optimal hypotheses in the case that Σ Jα(R) 1 is closed under number quanti cation, where α begins a Σ1 gap. Recall that an equivalence relation E is called thin if there is no perfect set of pairwise E inequivalent reals. Theorem 0.1. Let α ≥ 2 begin a Σ1 gap in L(R). Assume AD Jα(R). Also, setting Γ = Σ Jα(R) 1, assume Γ to be closed under number quanti cation, i.e., ∀ ω Γ ⊂ Γ. Let E be a thin Γ equivalence relation. Let N be an α-suitable mouse with a capturing term for the complete Γ set. Then E is ˘ Γ in any real coding N as a parameter. The notion of α suitable mice with capturing terms (which is due to Woodin), is described in our section 1 and in detail in [6]. Such α suitable mice are in a sense analogues of M # n (capturing Σ 1 n+2) which capture more complicated sets of reals. The pointclass Γ = Σ Jα(R) 1 as in the statement of Theorem 0.1 is scaled Text sami Unknown |
institution |
Open Polar |
collection |
Unknown |
op_collection_id |
ftciteseerx |
language |
English |
description |
We give a new proof via inner model theory that every thin Σ Jα(R) 1 equivalence relation is ∆ Jα(R) 1, where α begins a Σ1 gap and Σ Jα(R) 1 is closed under number quanti cation, assuming AD Jα(R). In the recent past several results previously proved by direct applications of the axiom of determinacy were shown via an inner model theoretic approach. Here we give an inner model theoretic proof of a result of Harrington and Sami [1] on thin equivalence relations. The proof makes it possible to isolate optimal hypotheses in the case that Σ Jα(R) 1 is closed under number quanti cation, where α begins a Σ1 gap. Recall that an equivalence relation E is called thin if there is no perfect set of pairwise E inequivalent reals. Theorem 0.1. Let α ≥ 2 begin a Σ1 gap in L(R). Assume AD Jα(R). Also, setting Γ = Σ Jα(R) 1, assume Γ to be closed under number quanti cation, i.e., ∀ ω Γ ⊂ Γ. Let E be a thin Γ equivalence relation. Let N be an α-suitable mouse with a capturing term for the complete Γ set. Then E is ˘ Γ in any real coding N as a parameter. The notion of α suitable mice with capturing terms (which is due to Woodin), is described in our section 1 and in detail in [6]. Such α suitable mice are in a sense analogues of M # n (capturing Σ 1 n+2) which capture more complicated sets of reals. The pointclass Γ = Σ Jα(R) 1 as in the statement of Theorem 0.1 is scaled |
author2 |
The Pennsylvania State University CiteSeerX Archives |
format |
Text |
author |
Ralf Schindler |
spellingShingle |
Ralf Schindler Thin Equivalence Relations in Scaled |
author_facet |
Ralf Schindler |
author_sort |
Ralf Schindler |
title |
Thin Equivalence Relations in Scaled |
title_short |
Thin Equivalence Relations in Scaled |
title_full |
Thin Equivalence Relations in Scaled |
title_fullStr |
Thin Equivalence Relations in Scaled |
title_full_unstemmed |
Thin Equivalence Relations in Scaled |
title_sort |
thin equivalence relations in scaled |
publishDate |
2010 |
url |
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.180.1730 http://wwwmath.uni-muenster.de/math/inst/logik/org/staff/rds/Thin.pdf |
genre |
sami |
genre_facet |
sami |
op_source |
http://wwwmath.uni-muenster.de/math/inst/logik/org/staff/rds/Thin.pdf |
op_relation |
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.180.1730 http://wwwmath.uni-muenster.de/math/inst/logik/org/staff/rds/Thin.pdf |
op_rights |
Metadata may be used without restrictions as long as the oai identifier remains attached to it. |
_version_ |
1766185422716665856 |