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

Full description

Bibliographic Details
Main Authors: Kanovei, Vladimir, Lyubetsky, Vassily
Format: Report
Language:unknown
Published: arXiv 2018
Subjects:
Logic math.LO
FOS Mathematics
03E15, 03E35
sami
Online Access:https://dx.doi.org/10.48550/arxiv.1810.12542
https://arxiv.org/abs/1810.12542
id ftdatacite:10.48550/arxiv.1810.12542
record_format openpolar
spelling ftdatacite:10.48550/arxiv.1810.12542 2023-05-15T18:10:56+02:00 On Harrington's model in which Separation holds but Reduction fails at the 3rd projective level, and on some related models of Sami Kanovei, Vladimir Lyubetsky, Vassily 2018 https://dx.doi.org/10.48550/arxiv.1810.12542 https://arxiv.org/abs/1810.12542 unknown arXiv arXiv.org perpetual, non-exclusive license http://arxiv.org/licenses/nonexclusive-distrib/1.0/ Logic math.LO FOS Mathematics 03E15, 03E35 Preprint Article article CreativeWork 2018 ftdatacite https://doi.org/10.48550/arxiv.1810.12542 2022-04-01T08:54:50Z 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 Report sami DataCite Metadata Store (German National Library of Science and Technology)
institution Open Polar
collection DataCite Metadata Store (German National Library of Science and Technology)
op_collection_id ftdatacite
language unknown
topic Logic math.LO
FOS Mathematics
03E15, 03E35
spellingShingle Logic math.LO
FOS Mathematics
03E15, 03E35
Kanovei, Vladimir
Lyubetsky, Vassily
On Harrington's model in which Separation holds but Reduction fails at the 3rd projective level, and on some related models of Sami
topic_facet Logic math.LO
FOS Mathematics
03E15, 03E35
description 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
format Report
author Kanovei, Vladimir
Lyubetsky, Vassily
author_facet Kanovei, Vladimir
Lyubetsky, Vassily
author_sort Kanovei, Vladimir
title On Harrington's model in which Separation holds but Reduction fails at the 3rd projective level, and on some related models of Sami
title_short On Harrington's model in which Separation holds but Reduction fails at the 3rd projective level, and on some related models of Sami
title_full On Harrington's model in which Separation holds but Reduction fails at the 3rd projective level, and on some related models of Sami
title_fullStr On Harrington's model in which Separation holds but Reduction fails at the 3rd projective level, and on some related models of Sami
title_full_unstemmed On Harrington's model in which Separation holds but Reduction fails at the 3rd projective level, and on some related models of Sami
title_sort on harrington's model in which separation holds but reduction fails at the 3rd projective level, and on some related models of sami
publisher arXiv
publishDate 2018
url https://dx.doi.org/10.48550/arxiv.1810.12542
https://arxiv.org/abs/1810.12542
genre sami
genre_facet sami
op_rights arXiv.org perpetual, non-exclusive license
http://arxiv.org/licenses/nonexclusive-distrib/1.0/
op_doi https://doi.org/10.48550/arxiv.1810.12542
_version_ 1766183655374323712

Similar Items