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 |
---|