Sharps and the Σ^1_3 correctness of K
| dc.creator | Schindler, Ralf | |
| dc.date | 2002-01-18 | |
| dc.date.accessioned | 2026-07-07T04:45:57Z | |
| dc.date.available | 2026-07-07T04:45:57Z | |
| dc.description | Steel and Welch have shown that K is Σ^1_3 correct if the reals are closed under sharps but 0^\pistol doesn't exist. We'll give a simple and purely combinatorial proof of the following: K is Σ^1_3 correct if the reals are closed under sharps, there is no inner model with a Woodin cardinal, K exists, and * holds. Here, * is an assertion which can easily be verified if 0^\pistol doesn't exist. We conjecture that * holds outright. (* is denoted by \clubsuit in the paper.) | |
| dc.description | 5 pages | |
| dc.identifier | https://arxiv.org/abs/math/0201169 | |
| dc.identifier | http://arxiv.org/abs/math/0201169 | |
| dc.identifier.uri | http://salesiana.dossiersoluciones.com/handle/123456789/63145 | |
| dc.subject | Logic | |
| dc.subject | 03E15;03E45;03E55 | |
| dc.title | Sharps and the Σ^1_3 correctness of K | |
| dc.type | text |