The variety of projections of a tree Prikry forcing

, &
Journal of Mathematical Logic (forthcoming)
  Copy   BIBTEX

Abstract

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

Categories

Keywords

Reprint years

DOI

10.1142/s0219061324500065

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,928

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Prikry forcing and tree Prikry forcing of various filters.Tom Benhamou - 2019 - Archive for Mathematical Logic 58 (7-8):787-817.
Sets in Prikry and Magidor generic extensions.Tom Benhamou & Moti Gitik - 2021 - Annals of Pure and Applied Logic 172 (4):102926.
A minimal Prikry-type forcing for singularizing a measurable cardinal.Peter Koepke, Karen Räsch & Philipp Schlicht - 2013 - Journal of Symbolic Logic 78 (1):85-100.
Non-homogeneity of quotients of Prikry forcings.Moti Gitik & Eyal Kaplan - 2019 - Archive for Mathematical Logic 58 (5-6):649-710.
More Notions of Forcing Add a Souslin Tree.Ari Meir Brodsky & Assaf Rinot - 2019 - Notre Dame Journal of Formal Logic 60 (3):437-455.
Canonical seeds and Prikry trees.Joel David Hamkins - 1997 - Journal of Symbolic Logic 62 (2):373-396.
Canonical Seeds and Prikry Trees.Joel Hamkins - 1997 - Journal of Symbolic Logic 62 (2):373-396.
The short extenders gap two forcing is of Prikry type.Carmi Merimovich - 2009 - Archive for Mathematical Logic 48 (8):737-747.
The subcompleteness of diagonal Prikry forcing.Kaethe Minden - 2020 - Archive for Mathematical Logic 59 (1-2):81-102.
Supercompact extender based Prikry forcing.Carmi Merimovich - 2011 - Archive for Mathematical Logic 50 (5-6):591-602.
The short extenders gap three forcing using a morass.Carmi Merimovich - 2011 - Archive for Mathematical Logic 50 (1-2):115-135.
Mathias–Prikry and Laver–Prikry type forcing.Michael Hrušák & Hiroaki Minami - 2014 - Annals of Pure and Applied Logic 165 (3):880-894.
Generalized Prikry forcing and iteration of generic ultrapowers.Hiroshi Sakai - 2005 - Mathematical Logic Quarterly 51 (5):507-523.
Sigma-Prikry forcing II: Iteration Scheme.Alejandro Poveda, Assaf Rinot & Dima Sinapova - 2022 - Journal of Mathematical Logic 22 (3):2150019.
Sigma-Prikry forcing II: Iteration Scheme.Alejandro Poveda, Assaf Rinot & Dima Sinapova - 2022 - Journal of Mathematical Logic 22 (3).

Analytics

Added to PP
2023-08-18

Downloads
6 (#1,461,457)

6 months
5 (#639,345)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references