Unraveling \(\boldsymbol\Pi_1^1\) sets (Q1591205)
From MaRDI portal
![]() | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Unraveling \(\boldsymbol\Pi_1^1\) sets |
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
0.74766165
0 references
0.74478704
0 references
0.7259709
0 references