TY - JOUR
T1 - Intermediate models of Magidor-Radin forcing. I
AU - Benhamou, Tom
AU - Gitik, Moti
N1 - Publisher Copyright:
© 2022, The Hebrew University of Jerusalem.
PY - 2022/12
Y1 - 2022/12
N2 - 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].
AB - 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].
UR - http://www.scopus.com/inward/record.url?scp=85135869643&partnerID=8YFLogxK
U2 - 10.1007/s11856-022-2335-1
DO - 10.1007/s11856-022-2335-1
M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???
AN - SCOPUS:85135869643
SN - 0021-2172
VL - 252
SP - 47
EP - 94
JO - Israel Journal of Mathematics
JF - Israel Journal of Mathematics
IS - 1
ER -