Intermediate models of Magidor-Radin forcing. I
Intermediate models of Magidor-Radin forcing. I
复制标题
Magidor-Radin 强迫的中间模型。
作者：
Tom Benhamou;M. Gitik
我们继续在[3]bb0中做的功。我们证明了对于Magidor- radin通用扩展中的每个集合A，使用一个相干序列使得oU→(κ)<κdocumentclass[12pt]{minimal} usepackageamsmath{ useppackagewasysym} useppackageamsfonts{ useppackageamssymb} useppackageamssy{ useppackageupgreek }setlengthoddsidemargin{-69pt} {egindocument}{}{}{}{}{}$${o^{vec U}}left( kappa
ight) < kappa $$ enddocument，{存在}一个Magidor俱乐部的子集C ‘使得V[A] = V[C ’]。并对所有中间的ZFC可传递模型V、M、V进行分类[G]。
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→(κ)<κdocumentclass[12pt]{minimal} usepackage{amsmath} usepackage{wasysym} usepackage{amsfonts} usepackage{amssymb} usepackage{amsbsy} usepackage{mathrsfs} usepackage{upgreek} setlength{oddsidemargin}{-69pt} egin{document}$${o^{vec U}}left( kappa
ight) < kappa $$end{document}, 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].