Paul B. Larson

collaborators

Showing math.LOShow all

2 papers · 1 filter

math.LO2026

Strongly increasing sequences

Paul B. Larson, Chris Lambie-Hanson

Using a variation of Woodin's $P_{max}$ forcing, we force over a model of the Axiom of Determinacy to produce a model of ZFC containing a very strongly increasing…

math.LO2025

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