The variety of projections of a tree Prikry forcing
From MaRDI portal
Publication:6649856
DOI10.1142/s0219061324500065MaRDI QIDQ6649856
M. B. Gitik, Tom Benhamou, Yair Hayut
Publication date: 6 December 2024
Published in: Journal of Mathematical Logic (Search for Journal in Brave)
Inner models, including constructibility, ordinal definability, and core models (03E45) Large cardinals (03E55) Ordinal and cardinal numbers (03E10)
Cites Work
- Unnamed Item
- Unnamed Item
- Set theory. An introduction to large cardinals
- Indexed squares
- On \(\kappa\)-compact cardinals
- Prikry forcing and tree Prikry forcing of various filters
- The large cardinals between supercompact and almost-huge
- Sets in Prikry and Magidor generic extensions
- Iterated Forcing and Elementary Embeddings
- Prikry-Type Forcings
- The Covering Lemma
- The core model for sequences of measures. I
- On a generalization of Jensen's □κ, and strategic closure of partial orders
- Forcing closed unbounded sets
- On the Singular Cardinal Hypothesis
- Canonical seeds and Prikry trees
- On the consistency of the Definable Tree Property on ℵ1
- Partial strong compactness and squares
- Distributive Aronszajn trees
- Iterates of the core model
- CHARACTERIZATION OF □κ IN CORE MODELS
- Equiconsistencies at subcompact cardinals
This page was built for publication: The variety of projections of a tree Prikry forcing