Modified extender based forcing

Dima Sinapova; Spencer Unger

doi:10.1017/jsl.2016.5

Modified extender based forcing

Dima Sinapova, Spencer Unger

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

Abstract

We analyze the modified extender based forcing from Assaf Sharon’s PhD thesis. We show there is a bad scale in the extension and therefore weak square fails. We also present two metatheorems which give a rough characterization of when a diagonal Prikry-type forcing forces the failure of weak square.

Original language	English
Pages (from-to)	1432-1443
Number of pages	12
Journal	Journal of Symbolic Logic
Volume	81
Issue number	4
DOIs	https://doi.org/10.1017/jsl.2016.5
State	Published - 1 Dec 2016
Externally published	Yes

Keywords

Extender based forcing
Prikry forcing
Weak square

Access to Document

10.1017/jsl.2016.5

Cite this

@article{cd7a28af1b5b4682b56120657992019d,

title = "Modified extender based forcing",

abstract = "We analyze the modified extender based forcing from Assaf Sharon{\textquoteright}s PhD thesis. We show there is a bad scale in the extension and therefore weak square fails. We also present two metatheorems which give a rough characterization of when a diagonal Prikry-type forcing forces the failure of weak square.",

keywords = "Extender based forcing, Prikry forcing, Weak square",

author = "Dima Sinapova and Spencer Unger",

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

year = "2016",

month = dec,

day = "1",

doi = "10.1017/jsl.2016.5",

language = "אנגלית",

volume = "81",

pages = "1432--1443",

journal = "Journal of Symbolic Logic",

issn = "0022-4812",

publisher = "Cambridge University Press",

number = "4",

}

TY - JOUR

T1 - Modified extender based forcing

AU - Sinapova, Dima

AU - Unger, Spencer

PY - 2016/12/1

Y1 - 2016/12/1

N2 - We analyze the modified extender based forcing from Assaf Sharon’s PhD thesis. We show there is a bad scale in the extension and therefore weak square fails. We also present two metatheorems which give a rough characterization of when a diagonal Prikry-type forcing forces the failure of weak square.

AB - We analyze the modified extender based forcing from Assaf Sharon’s PhD thesis. We show there is a bad scale in the extension and therefore weak square fails. We also present two metatheorems which give a rough characterization of when a diagonal Prikry-type forcing forces the failure of weak square.

KW - Extender based forcing

KW - Prikry forcing

KW - Weak square

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

U2 - 10.1017/jsl.2016.5

DO - 10.1017/jsl.2016.5

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???

AN - SCOPUS:85001960746

SN - 0022-4812

VL - 81

SP - 1432

EP - 1443

JO - Journal of Symbolic Logic

JF - Journal of Symbolic Logic

IS - 4

ER -

Modified extender based forcing

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this