Intermediate models of Magidor-Radin forcing-Part II

Tom Benhamou*, Moti Gitik

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

6 Scopus citations

Abstract

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 ω.

Original languageEnglish
Article number103107
JournalAnnals of Pure and Applied Logic
Volume173
Issue number6
DOIs
StatePublished - Jun 2022

Funding

FundersFunder number
Israel Science Foundation1216/18

    Keywords

    • Magidor forcing
    • Prikry forcing
    • Tree construction
    • Ultrafilters

    Fingerprint

    Dive into the research topics of 'Intermediate models of Magidor-Radin forcing-Part II'. Together they form a unique fingerprint.

    Cite this