PFA and the definability of the nonstationary ideal

Autor:	Hoffelner, Stefan, Larson, Paul, Schindler, Ralf, Wu, Liuzhen
Rok vydání:	2023
Předmět:	Mathematics - Logic
Druh dokumentu:	Working Paper
Popis:	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 $\omega_1$ is $\Pi_1$-definable in a parameter from $H_{\aleph_2}$.
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/2310.13784 Zobrazit plný text záznamu View this record from Arxiv