NS saturated and \Delta₁-definable

DOI10.1017/JSL.2021.23MaRDI QIDQ6282378arXivFDO

Authors Stefan Hoffelner

Publication date 25 January 2017

Published in arXiv

Full work available at URL https://doi.org/10.1017/JSL.2021.23

Mathematics Subject Classification ID

Other combinatorial set theory (03E05) Consistency and independence results (03E35) Inner models, including constructibility, ordinal definability, and core models (03E45) Large cardinals (03E55) Generic absoluteness and forcing axioms (03E57)

arXiv classification

math.LO

Abstract: We show that under the assumption of the existence of the canonical inner model with one Woodin cardinal $M_1$, there is a model of $$ in which $NS$ is $alep{h}_2$-saturated and $Delt{a}_1$-definable with $omeg{a}_1$ as a parameter which answers a question of Sy-David Friedman and Liuzhen Wu. We also show that starting from an arbitrary universe with a Woodin cardinal, there is a model with $NS$ saturated and $Delt{a}_1$-definable with a ladder system $vecC$ and a full Suslin tree $T$ as parameters. Both results rely on a new coding technique whose presentation is the main goal of this article.

This page was built for publication: NS saturated and $\Delta_1$-definable

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