Intermediate models of Magidor-Radin forcing. II

DOI10.1016/j.apal.2022.103107zbMath1504.03030arXiv2105.11700OpenAlexW4214904482MaRDI QIDQ2131281

Tom Benhamou, M. B. Gitik

Publication date: 25 April 2022

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2105.11700

zbMATH Keywords

Magidor forcingintermediate submodelsprikry forcing

Mathematics Subject Classification ID

Large cardinals (03E55) Other combinatorial set theory (03E05) Ordinal and cardinal numbers (03E10) Other aspects of forcing and Boolean-valued models (03E40)

Related Items (2)

Kurepa trees and the failure of the Galvin property ⋮ Negating the Galvin property

Cites Work

• Unnamed Item
• Unnamed Item
• Weak diamond and Galvin's property
• Tiltan
• Prikry forcing and tree Prikry forcing of various filters
• Sets in Prikry and Magidor generic extensions
• Prikry-Type Forcings
• On the consistency of local and global versions of Chang’s Conjecture
• A partition calculus in set theory
• On the intersection of closed unbounded sets
• Changing cofinality of cardinals
• Set Theory
• A minimal Prikry-type forcing for singularizing a measurable cardinal
• Diamonds, compactness, and measure sequences
• On density of old sets in Prikry type extensions

This page was built for publication: Intermediate models of Magidor-Radin forcing. II