Intermediate models of Magidor-Radin forcing. I

Tom Benhamou*, Moti Gitik

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

Abstract

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
JournalIsrael Journal of Mathematics
DOIs
StateAccepted/In press - 2022

Fingerprint

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

Cite this