<div class="csl-bib-body">
<div class="csl-entry">Hoffelner, S., Larson, P., Schindler, R., & Wu, L. (2025). PFA and the Definability of the Nonstationary Ideal. <i>Journal of Symbolic Logic</i>. https://doi.org/10.1017/jsl.2025.31</div>
</div>
-
dc.identifier.issn
0022-4812
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/222770
-
dc.description.abstract
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-definable in a parameter from H2.
en
dc.language.iso
en
-
dc.publisher
CAMBRIDGE UNIV PRESS
-
dc.relation.ispartof
Journal of Symbolic Logic
-
dc.subject
Set Theory
en
dc.subject
Forcing Axioms
en
dc.title
PFA and the Definability of the Nonstationary Ideal
