Intermediate models of Magidor-Radin forcing-Part II

Tom Benhamou, Moti Gitik

Research output: Contribution to journalArticlepeer-review

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

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