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Π^1_3$-Separation holds but $\mathbfΣ^1_3$-Reduction fails. The result has never appeared in a journal or book publication except for a few of old ref...
| Main Authors: | , |
|---|---|
| Format: | Report |
| Language: | unknown |
| Published: |
arXiv
2018
|
| Subjects: | |
| Online Access: | https://dx.doi.org/10.48550/arxiv.1810.12542 https://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Π^1_3$-Separation holds but $\mathbfΣ^1_3$-Reduction fails. The result has never appeared in a journal or book publication except for a few of old references. : Revised version contains more consistent description on some results of Sami |
|---|