Intermediate models of Magidor-Radin forcing-Part II

Tom Benhamou*, Moti Gitik

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review


We continue the work done in [14], [6], [5]. We prove that for every set of ordinals A in a Magidor-Radin generic extension using a coherent sequence such that oU→(κ)<κ+, there is C⊆CG, such that V[A]=V[C]. Also we prove that the supremum of a fresh set in a Prikry, tree Prikry, Magidor, Radin-Magidor and Radin forcing, changes cofinality to ω.

Original languageEnglish
Article number103107
JournalAnnals of Pure and Applied Logic
Issue number6
StatePublished - Jun 2022


  • Magidor forcing
  • Prikry forcing
  • Tree construction
  • Ultrafilters


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

Cite this