Turing determinacy and the continuum hypothesis (Q1824617)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Turing determinacy and the continuum hypothesis |
scientific article |
Statements
Turing determinacy and the continuum hypothesis (English)
0 references
1989
0 references
If the axiom of determinacy for Turing closed sets is assumed, then every uncountable set of reals is of cardinality continuum and every subset of \(\omega_ 1\) is constructible from some real. Some interesting open problems are mentioned.
0 references
Turing degree
0 references
axiom of determinacy
0 references
Turing closed sets
0 references
