Paul Larson

most citedForcing Axioms and the Definabilty of the Nonstationary Ideal on

ω_{1}

2 citations · 2 across the 2 of their papers we have counts for

collaborators

2 papers

math.LO2023

PFA and the definability of the nonstationary ideal

Stefan Hoffelner, Paul Larson, Ralf Schindler +1

We produce, relative to a $ZFC$ model with a supercompact cardinal, a $ZFC$ model of the Proper Forcing Axiom in which the nonstationary ideal on $ω_{1}$ is $Π_{1}$ -definab…

math.LO2022★ 2 cited

Forcing Axioms and the Definabilty of the Nonstationary Ideal on $ω_{1}$

Stefan Hoffelner, Paul Larson, Ralf Schindler +1

We show that under $\BMM$ and "there exists a Woodin cardinal $"$ , the nonstationary ideal on $ω_{1}$ can not be defined by a $Σ_{1}$ formula with parameter $A \subset ω_{1}$ . We show tha…

PFA and the definability of the nonstationary ideal

Forcing Axioms and the Definabilty of the Nonstationary Ideal on ω1​

Forcing Axioms and the Definabilty of the Nonstationary Ideal on $ω_{1}$