Record link: 
http://hdl.handle.net/20.500.12708/222770
-
Title: 
PFA and the Definability of the Nonstationary Ideal
en
Citation: 
Hoffelner, S., Larson, P., Schindler, R., & Wu, L. (2025). PFA and the Definability of the Nonstationary Ideal. Journal of Symbolic Logic. https://doi.org/10.1017/jsl.2025.31
-
Publisher DOI: 
10.1017/jsl.2025.31
-
Publication Type: 
Article - Original Research Article
en
Language: 
English
-
Authors: 
Hoffelner, Stefan 
Larson, Paul 
Schindler, Ralf 
Wu, Liuzhen 
-
Organisational Unit: 
E104-08 - Forschungsbereich Mengenlehre 
-
Journal: 
Journal of Symbolic Logic 
-
ISSN: 
0022-4812
-
Date (published): 
2025
-
Number of Pages: 
8
-
Publisher: 
CAMBRIDGE UNIV PRESS
-
Peer reviewed: 
Yes
-
Keywords: 
Set Theory; Forcing Axioms
en
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
Research Areas: 
Fundamental Mathematics Research: 100%
-
Science Branch: 
1020 - Informatik: 5%
1010 - Mathematik: 95%
-
Appears in Collections:
Article

Show full item record

Google ScholarTM

Check