Intermediate Models in Magidor-Radin Forcing- Part I

DOI10.1007/S11856-022-2335-1MaRDI QIDQ6349956arXivFDO

Authors Tom Benhamou, Moti Gitik

Publication date 27 September 2020

Published in arXiv

Full work available at URL https://doi.org/10.1007/S11856-022-2335-1

Mathematics Subject Classification ID

Set theory (03Exx) Mathematical logic and foundations (03-XX)

arXiv classification

math.LO

Abstract: We continue the work done by Gitik, Kanovei, Koepke, and later by the authors. We prove that for every set $A$ in a Magidor-Radin generic extension using a coherent sequence such that $o^{vecU}(kappa)<kappa$, there is a subset $C^{\prime }$ of the Magidor club such that $V[A]=V[C^{\prime }]$. Also we classify all intermediate $ZFC$ transitive models $VsubseteqMsubseteqV[G]$.

This page was built for publication: Intermediate Models in Magidor-Radin Forcing- Part I

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6349956)