On Harrington's model in which Separation holds but Reduction fails at the 3rd projective level, and on some related models of Sami
In a handwtitten note of 1975, Leo Harrington sketched a construction of a model of ZFC (no large cardinals or anything beyond ZFC!) in which $\mathbf\Pi^1_3$-Separation holds but $\mathbf\Sigma^1_3$-Reduction fails. The result has never appeared in a journal or book publication except for a few of...
| Main Authors: | , |
|---|---|
| Format: | Text |
| Language: | unknown |
| Published: |
2018
|
| Subjects: | |
| Online Access: | http://arxiv.org/abs/1810.12542 |
| Summary: | In a handwtitten note of 1975, Leo Harrington sketched a construction of a model of ZFC (no large cardinals or anything beyond ZFC!) in which $\mathbf\Pi^1_3$-Separation holds but $\mathbf\Sigma^1_3$-Reduction fails. The result has never appeared in a journal or book publication except for a few of old references. Comment: Revised version contains more consistent description on some results of Sami |
|---|