Unraveling \(\boldsymbol\Pi_1^1\) sets (Q1591205): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(4 intermediate revisions by 3 users not shown) | |||
Property / reviewed by | |||
Property / reviewed by: J. M. Plotkin / rank | |||
Property / reviewed by | |||
Property / reviewed by: J. M. Plotkin / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Measurable cardinals and analytic games / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Borel determinacy / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4722064 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An extension of Borel determinacy / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Sets constructible from sequences of ultrafilters / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4694311 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Descriptive set theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A Proof of Projective Determinacy / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Determinacy in the Mitchell models / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: \(\Sigma_3^1\) absoluteness and the second uniform indiscernible / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 11:58, 3 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Unraveling \(\boldsymbol\Pi_1^1\) sets |
scientific article |
Statements
Unraveling \(\boldsymbol\Pi_1^1\) sets (English)
0 references
17 May 2001
0 references
Martin's inductive proof of Borel Determinacy introduced the concepts of covering and unraveling. In this paper the author constructs a covering that unravels \(\boldsymbol\Pi^1_1\) sets. This requires a large cardinal assumption. Work of \textit{J. R. Steel} [``Determinacy in Mitchell models'', Ann. Math. Logic 22, 109-125 (1982; Zbl 0573.03026)] shows for the relevant large cardinal \(\kappa\), \(o(\kappa)=\kappa^{++}\), where \(o\) is the Mitchell order on measures. The author uses a cardinal \(\kappa\) such that for every \(Z\subset V_{\kappa +1}\) there exists a normal, \(\kappa\)-complete measure \(\mu\) on \(\kappa\) so that \(Z\) belongs to Ult\((V,\mu)\). For his \(\kappa\), \(o(\kappa)=\kappa^{++}\). Using such a cardinal, he shows how to unravel a single \(\boldsymbol\Pi_1^1\) set and then a countable collection of \(\boldsymbol\Pi^1_1\) sets. Using these results, the author shows the determinacy of games with a \(\mathcal A \mathbf\Pi_1^1\) payoff (\(\mathcal A\) is the Suslin operation). Finally, the author shows how to unravel sets in the \(\sigma\)-algebra generated by \(\boldsymbol\Pi_1^1\) sets, obtaining determinacy for games with such payoff sets. He explains why this result is optimal.
0 references
determinacy
0 references
large cardinal
0 references
Suslin operation
0 references
Mitchell order
0 references
covering
0 references
unraveling
0 references