The tree property at Nω2+1 and Nω2+2

Dima Sinapova; Spencer Unger

doi:10.1017/jsl.2017.56

The tree property at N_ω2+1 and N_ω2+2

Dima Sinapova, Spencer Unger

Research output: Contribution to journal › Article › peer-review

8 Scopus citations

Abstract

We show that from large cardinals it is consistent to have the tree property simultaneously at N_ω2+1 and N_ω2+2 with N_ω2 strong limit.

Original language	English (US)
Pages (from-to)	669-682
Number of pages	14
Journal	Journal of Symbolic Logic
Volume	83
Issue number	2
DOIs	https://doi.org/10.1017/jsl.2017.56
State	Published - Jun 1 2018
Externally published	Yes

All Science Journal Classification (ASJC) codes

Philosophy
Logic

Keywords

Prikry forcing
singular cardinals hypothesis
tree property

Access to Document

10.1017/jsl.2017.56

Cite this

@article{dd624847c3074da6963468c07ae5752d,

title = "The tree property at Nω2+1 and Nω2+2 ",

abstract = "We show that from large cardinals it is consistent to have the tree property simultaneously at Nω2+1 and Nω2+2 with Nω2 strong limit.",

keywords = "Prikry forcing, singular cardinals hypothesis, tree property",

author = "Dima Sinapova and Spencer Unger",

note = "Publisher Copyright: {\textcopyright} The Association for Symbolic Logic 2018.",

year = "2018",

month = jun,

day = "1",

doi = "10.1017/jsl.2017.56",

language = "English (US)",

volume = "83",

pages = "669--682",

journal = "Journal of Symbolic Logic",

issn = "0022-4812",

publisher = "Cambridge University Press",

number = "2",

}

TY - JOUR

T1 - The tree property at Nω2+1 and Nω2+2

AU - Sinapova, Dima

AU - Unger, Spencer

N1 - Publisher Copyright: © The Association for Symbolic Logic 2018.

PY - 2018/6/1

Y1 - 2018/6/1

N2 - We show that from large cardinals it is consistent to have the tree property simultaneously at Nω2+1 and Nω2+2 with Nω2 strong limit.

AB - We show that from large cardinals it is consistent to have the tree property simultaneously at Nω2+1 and Nω2+2 with Nω2 strong limit.

KW - Prikry forcing

KW - singular cardinals hypothesis

KW - tree property

UR - http://www.scopus.com/inward/record.url?scp=85051031989&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85051031989&partnerID=8YFLogxK

U2 - 10.1017/jsl.2017.56

DO - 10.1017/jsl.2017.56

M3 - Article

AN - SCOPUS:85051031989

SN - 0022-4812

VL - 83

SP - 669

EP - 682

JO - Journal of Symbolic Logic

JF - Journal of Symbolic Logic

IS - 2

ER -