NS saturated and $\Delta_1$-definable
From MaRDI portal
Publication:6282378
DOI10.1017/JSL.2021.23zbMath1529.03249arXiv1701.07230MaRDI QIDQ6282378
Publication date: 25 January 2017
Consistency and independence results (03E35) Inner models, including constructibility, ordinal definability, and core models (03E45) Large cardinals (03E55) Other combinatorial set theory (03E05) Generic absoluteness and forcing axioms (03E57)
This page was built for publication: NS saturated and $\Delta_1$-definable
