THE COUNTERPARTS TO STATEMENTS THAT ARE EQUIVALENT TO THE CONTINUUM HYPOTHESIS
| Autor: | Asger Törnquist, William Weiss |
|---|---|
| Rok vydání: | 2015 |
| Předmět: | |
| Zdroj: | The Journal of Symbolic Logic. 80:1075-1090 |
| ISSN: | 1943-5886 0022-4812 |
| DOI: | 10.1017/jsl.2014.20 |
| Popis: | We consider natural ${\rm{\Sigma }}_2^1$ definable analogues of many of the classical statements that have been shown to be equivalent to CH. It is shown that these ${\rm{\Sigma }}_2^1$ analogues are equivalent to that all reals are constructible. We also prove two partition relations for ${\rm{\Sigma }}_2^1$ colourings which hold precisely when there is a non-constructible real. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|