Nairian Models

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^{++}}…