The variety of projections of a tree Prikry forcing

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)

zbMATH Keywords

ultrafiltersPrikry forcingintermediate modelsdistributive forcingindescernables

Mathematics Subject Classification ID

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 ℵ₁
• 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