TY - JOUR
T1 - Intermediate models of Magidor-Radin forcing-Part II
AU - Benhamou, Tom
AU - Gitik, Moti
N1 - Publisher Copyright:
© 2022 Elsevier B.V.
PY - 2022/6
Y1 - 2022/6
N2 - 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 ω.
AB - 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 ω.
KW - Magidor forcing
KW - Prikry forcing
KW - Tree construction
KW - Ultrafilters
UR - http://www.scopus.com/inward/record.url?scp=85125653451&partnerID=8YFLogxK
U2 - 10.1016/j.apal.2022.103107
DO - 10.1016/j.apal.2022.103107
M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???
AN - SCOPUS:85125653451
SN - 0168-0072
VL - 173
JO - Annals of Pure and Applied Logic
JF - Annals of Pure and Applied Logic
IS - 6
M1 - 103107
ER -