A version of κ -Miller forcing

Heike Mildenberger; Saharon Shelah

doi:10.1007/s00153-020-00721-y

A version of κ -Miller forcing

Heike Mildenberger^*, Saharon Shelah

^*Corresponding author for this work

Einstein Institute of Mathematics

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

1 Scopus citations

Abstract

We consider a version of κ-Miller forcing on an uncountable cardinal κ. We show that under 2 ^<^κ= κ this forcing collapses 2 ^κ to ω and adds a κ-Cohen real. The same holds under the weaker assumptions that cf(κ)>ω, 22<κ=2κ, and forcing with ([κ] ^κ, ⊆) collapses 2 ^κ to ω.

Original language	English
Pages (from-to)	879-892
Number of pages	14
Journal	Archive for Mathematical Logic
Volume	59
Issue number	7-8
DOIs	https://doi.org/10.1007/s00153-020-00721-y
State	Published - 1 Nov 2020

Bibliographical note

Publisher Copyright:
© 2020, The Author(s).

Keywords

Forcing with higher perfect trees

Access to Document

10.1007/s00153-020-00721-y

Cite this

@article{89deb899cc5b42b49d3c1832bfacf21d,

title = "A version of κ -Miller forcing",

abstract = "We consider a version of κ-Miller forcing on an uncountable cardinal κ. We show that under 2 <κ= κ this forcing collapses 2 κ to ω and adds a κ-Cohen real. The same holds under the weaker assumptions that cf(κ)>ω, 22<κ=2κ, and forcing with ([κ] κ, ⊆) collapses 2 κ to ω.",

keywords = "Forcing with higher perfect trees",

author = "Heike Mildenberger and Saharon Shelah",

note = "Publisher Copyright: {\textcopyright} 2020, The Author(s).",

year = "2020",

month = nov,

day = "1",

doi = "10.1007/s00153-020-00721-y",

language = "אנגלית",

volume = "59",

pages = "879--892",

journal = "Archive for Mathematical Logic",

issn = "0933-5846",

publisher = "Springer New York",

number = "7-8",

}

TY - JOUR

T1 - A version of κ -Miller forcing

AU - Mildenberger, Heike

AU - Shelah, Saharon

PY - 2020/11/1

Y1 - 2020/11/1

N2 - We consider a version of κ-Miller forcing on an uncountable cardinal κ. We show that under 2 <κ= κ this forcing collapses 2 κ to ω and adds a κ-Cohen real. The same holds under the weaker assumptions that cf(κ)>ω, 22<κ=2κ, and forcing with ([κ] κ, ⊆) collapses 2 κ to ω.

AB - We consider a version of κ-Miller forcing on an uncountable cardinal κ. We show that under 2 <κ= κ this forcing collapses 2 κ to ω and adds a κ-Cohen real. The same holds under the weaker assumptions that cf(κ)>ω, 22<κ=2κ, and forcing with ([κ] κ, ⊆) collapses 2 κ to ω.

KW - Forcing with higher perfect trees

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

U2 - 10.1007/s00153-020-00721-y

DO - 10.1007/s00153-020-00721-y

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

AN - SCOPUS:85079596755

SN - 0933-5846

VL - 59

SP - 879

EP - 892

JO - Archive for Mathematical Logic

JF - Archive for Mathematical Logic

IS - 7-8

ER -

A version of κ -Miller forcing

Abstract

Bibliographical note

Keywords

Access to Document

Other files and links

Fingerprint

Cite this