1 paper · 2 filters
Douglas Blue, Paul B. Larson, Grigor Sargsyan
We introduce a hierarchy of models of the Axiom of Determinacy called \emph{Nairian models}. Forcing over the simplest Nairian model, we obtain a model of ${\sf{ZFC}}+{\sf{MM^{++}}…