Saved in:
| Main Authors: | , , , |
|---|---|
| Format: | Preprint |
| Published: |
2023
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2310.13784 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866908318960713728 |
|---|---|
| author | Hoffelner, Stefan Larson, Paul Schindler, Ralf Wu, Liuzhen |
| author_facet | Hoffelner, Stefan Larson, Paul Schindler, Ralf Wu, Liuzhen |
| contents | We produce, relative to a ${\sf ZFC}$ model with a supercompact cardinal, a ${\sf ZFC}$ model of the Proper Forcing Axiom in which the nonstationary ideal on $ω_1$ is $Π_1$-definable in a parameter from $H_{\aleph_2}$. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2310_13784 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | PFA and the definability of the nonstationary ideal Hoffelner, Stefan Larson, Paul Schindler, Ralf Wu, Liuzhen Logic We produce, relative to a ${\sf ZFC}$ model with a supercompact cardinal, a ${\sf ZFC}$ model of the Proper Forcing Axiom in which the nonstationary ideal on $ω_1$ is $Π_1$-definable in a parameter from $H_{\aleph_2}$. |
| title | PFA and the definability of the nonstationary ideal |
| topic | Logic |
| url | https://arxiv.org/abs/2310.13784 |