NS saturated and ${\Delta }_1$-definable

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 $\ZFC$ in which $\NS$ is ${\aleph }_2$-saturated and ${\Delta }_1$-definable with ${\omega }_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 ${\Delta }_1$-definable with a ladder system $\vec{C}$ 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.

43 pages

References in corpus (1)

• Set mapping reflection

Cited by in corpus (3)

• The Consistency of the ${\mathbf{\Sigma }}_3^1$-Separation Property
• Forcing Axioms, the Uniformization and the Basis Property
• Forcing the ${\Pi }_3^1$-Reduction Property and a Failure of ${\Pi }_3^1$-Uniformization