Intermediate models of Magidor-Radin forcing. I

Tom Benhamou*, Moti Gitik

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review


We continue the work done in [3], [1]. We prove that for every set A in a Magidor-Radin generic extension using a coherent sequence such that oU→(κ) < κ, there is a subset C′ of the Magidor club such that V[A] = V[C′]. Also we classify all intermediate ZFC transitive models V ⊆ M ⊆ V[G].

Original languageEnglish
Pages (from-to)47-94
Number of pages48
JournalIsrael Journal of Mathematics
Issue number1
StatePublished - Dec 2022


Dive into the research topics of 'Intermediate models of Magidor-Radin forcing. I'. Together they form a unique fingerprint.

Cite this