Intermediate models of Magidor-Radin forcing. I

Tom Benhamou; Moti Gitik

doi:10.1007/s11856-022-2335-1

Intermediate models of Magidor-Radin forcing. I

Tom Benhamou^*, Moti Gitik

^*Corresponding author for this work

School of Mathematical Sciences

Research output: Contribution to journal › Article › peer-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 o^U→(κ) < κ, 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 language	English
Journal	Israel Journal of Mathematics
DOIs	https://doi.org/10.1007/s11856-022-2335-1
State	Accepted/In press - 2022

Access to Document

10.1007/s11856-022-2335-1

Cite this

@article{d74b51d1ffd94a38a170e536177a95bf,

title = "Intermediate models of Magidor-Radin forcing. I",

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].",

author = "Tom Benhamou and Moti Gitik",

note = "Publisher Copyright: {\textcopyright} 2022, The Hebrew University of Jerusalem.",

year = "2022",

doi = "10.1007/s11856-022-2335-1",

language = "אנגלית",

journal = "Israel Journal of Mathematics",

issn = "0021-2172",

publisher = "Springer New York",

}

TY - JOUR

T1 - Intermediate models of Magidor-Radin forcing. I

AU - Benhamou, Tom

AU - Gitik, Moti

PY - 2022

Y1 - 2022

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 - מאמר

AN - SCOPUS:85135869643

JO - Israel Journal of Mathematics

JF - Israel Journal of Mathematics

SN - 0021-2172

ER -

Intermediate models of Magidor-Radin forcing. I

Abstract

Access to Document

Other files and links

Fingerprint

Cite this