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 \({o^{\vec U}}\left( \kappa \right) < \kappa \), 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].
Similar content being viewed by others
References
T. Benhamou and M. Gitik, Sets in Prikry and Magidor generic extensions, Annals of Pure and Applied Logic 172 (2021), Article no. 102926.
M. Gitik, Prikry-Type forcings, in Handbook of Set Theory. Vols. 1, 2, 3, Springer, Dordrecht, 2010, pp. 1351–1447.
M. Gitik, V. Kanovei and P. Koepke, Intermediate models of Prikry generic extensions, http://www.math.tau.ac.il/∼gitik/spr-kn.pdf.
T. Jech, Set Theory, Springer Monographs in Mathematics, Springer, Berlin, 2003.
M. Magidor, Changing the cofinality of cardinals, Fundamenta Mathematicae 99 (1978), 61–71.
W. Mitchell, How weak is a closed unbounded ultrafilter?, in Logic Colloquium’ 80 (Prague, 1980), Studies in Logic and the Foundations of Mathematics, Vol. 108, North-Holland, Amsterdam-New York, 1982, pp. 209–230.
S. Unger, Aronszajn trees and the successors of a singular cardinal, Archive for Mathematical Logic 52 (2013), 483–496.
Acknowledgment
The authors would like to thank the referee for his careful examination of the paper and for many useful insights. Also they would like to thank the participants of the “Set Theory Seminar” of Tel-Aviv University for their comments during the presentation of this work.
Author information
Authors and Affiliations
Corresponding author
Additional information
The work of the second author was partially supported by ISF grant No.1216/18.
Rights and permissions
About this article
Cite this article
Benhamou, T., Gitik, M. Intermediate models of Magidor-Radin forcing. I. Isr. J. Math. 252, 47–94 (2022). https://doi.org/10.1007/s11856-022-2335-1
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11856-022-2335-1