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

Full description

Bibliographic Details
Main Authors: Kanovei, Vladimir, Lyubetsky, Vassily
Format: Text
Language:unknown
Published: 2018
Subjects:
Mathematics - Logic
03E15
03E35
sami
Online Access:http://arxiv.org/abs/1810.12542
id ftarxivpreprints:oai:arXiv.org:1810.12542
record_format openpolar
spelling ftarxivpreprints:oai:arXiv.org:1810.12542 2023-09-05T13:22:54+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-10-30 http://arxiv.org/abs/1810.12542 unknown http://arxiv.org/abs/1810.12542 Mathematics - Logic 03E15 03E35 text 2018 ftarxivpreprints 2023-08-16T15:03:24Z 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 Text sami ArXiv.org (Cornell University Library)
institution Open Polar
collection ArXiv.org (Cornell University Library)
op_collection_id ftarxivpreprints
language unknown
topic Mathematics - Logic
03E15
03E35
spellingShingle Mathematics - Logic
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 Mathematics - Logic
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\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
format Text
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
publishDate 2018
url http://arxiv.org/abs/1810.12542
genre sami
genre_facet sami
op_relation http://arxiv.org/abs/1810.12542
_version_ 1776203459365699584

Similar Items