The variety of projections of a tree Prikry forcing

Tom Benhamou; Moti Gitik; Yair Hayut

doi:10.1142/s0219061324500065

The variety of projections of a tree Prikry forcing

Tom Benhamou^*, Moti Gitik, Yair Hayut

^*Corresponding author for this work

Einstein Institute of Mathematics

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

Abstract

We study which κ-distributive forcing notions of size κ can be embedded into tree Prikry forcing notions with κ-complete ultrafilters under various large cardinal assumptions. An alternative formulation - can the filter of dense open subsets of a κ-distributive forcing notion of size κ be extended to a κ-complete ultrafilter.

Original language	English
Article number	2450006
Journal	Journal of Mathematical Logic
Volume	24
Issue number	3
DOIs	https://doi.org/10.1142/s0219061324500065
State	Published - 1 Dec 2024

Bibliographical note

Publisher Copyright:
© 2024 World Scientific Publishing Company.

Keywords

Prikry forcing
distributive forcing
indescernables
intermediate models
ultrafilters

Access to Document

10.1142/s0219061324500065

Cite this

@article{89d90772ec3347ecbf2365f37beed884,

title = "The variety of projections of a tree Prikry forcing",

abstract = "We study which κ-distributive forcing notions of size κ can be embedded into tree Prikry forcing notions with κ-complete ultrafilters under various large cardinal assumptions. An alternative formulation - can the filter of dense open subsets of a κ-distributive forcing notion of size κ be extended to a κ-complete ultrafilter.",

keywords = "Prikry forcing, distributive forcing, indescernables, intermediate models, ultrafilters",

author = "Tom Benhamou and Moti Gitik and Yair Hayut",

note = "Publisher Copyright: {\textcopyright} 2024 World Scientific Publishing Company.",

year = "2024",

month = dec,

day = "1",

doi = "10.1142/s0219061324500065",

language = "אנגלית",

volume = "24",

journal = "Journal of Mathematical Logic",

issn = "0219-0613",

publisher = "World Scientific Publishing Co. Pte Ltd",

number = "3",

}

TY - JOUR

T1 - The variety of projections of a tree Prikry forcing

AU - Benhamou, Tom

AU - Gitik, Moti

AU - Hayut, Yair

PY - 2024/12/1

Y1 - 2024/12/1

N2 - We study which κ-distributive forcing notions of size κ can be embedded into tree Prikry forcing notions with κ-complete ultrafilters under various large cardinal assumptions. An alternative formulation - can the filter of dense open subsets of a κ-distributive forcing notion of size κ be extended to a κ-complete ultrafilter.

AB - We study which κ-distributive forcing notions of size κ can be embedded into tree Prikry forcing notions with κ-complete ultrafilters under various large cardinal assumptions. An alternative formulation - can the filter of dense open subsets of a κ-distributive forcing notion of size κ be extended to a κ-complete ultrafilter.

KW - Prikry forcing

KW - distributive forcing

KW - indescernables

KW - intermediate models

KW - ultrafilters

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

U2 - 10.1142/s0219061324500065

DO - 10.1142/s0219061324500065

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

AN - SCOPUS:85170264819

SN - 0219-0613

VL - 24

JO - Journal of Mathematical Logic

JF - Journal of Mathematical Logic

IS - 3

M1 - 2450006

ER -

The variety of projections of a tree Prikry forcing

Abstract

Bibliographical note

Keywords

Access to Document

Other files and links

Fingerprint

Cite this