Determinacy in the difference hierarchy of co-analytic sets (Q1919554)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Determinacy in the difference hierarchy of co-analytic sets |
scientific article |
Statements
Determinacy in the difference hierarchy of co-analytic sets (English)
0 references
24 February 1997
0 references
It is shown for recursive ordinals \(\alpha\) that \(\omega^2\alpha- \Pi^1_1\) determinacy is equivalent to existence of a clever \(\alpha\)-mouse. It is also shown for every countable ordinal \(\delta\) that if there is a sequence \(\langle \kappa_i: i< \delta+ 1\rangle\) of measurable cardinals and an almost \(< \omega_1\)-Erdös cardinal above them, then \(\omega^2(\delta+ 1)- \Pi^1_1\) determinacy holds. It is also shown that if the Weak Chang Conjecture holds at \(\omega_1\), then \(\omega^2- \Pi^1_1\) determinacy holds.
0 references
difference hierarchy
0 references
coanalytic sets
0 references
indiscernibles
0 references
mouse
0 references
core model
0 references
Erdös cardinal
0 references
determinacy
0 references
measurable cardinals
0 references
Weak Chang Conjecture
0 references
0 references