Tools
ToolsAsperó, David and Golshani, Mohammad (2025) The proper forcing axiom for $\aleph_1$-sized posets, $\omega_1$-linked symmetrically proper forcing, and the size of the continuum. Journal of Mathematical Logic. ISSN 0219-0613 (In Press)
Full text not available from this repository. (Request a copy)Abstract
We show that the Proper Forcing Axiom for forcing notions of size $\aleph_1$ is consistent with the continuum being arbitrarily large. In fact, assuming GCH holds and $\kappa\geq\omega_2$ is a regular cardinal, we prove that there is a proper and $\aleph_2$-c.c.\ forcing $\mathbb P$ giving rise to a model of this forcing axiom together with $2^{\aleph_0}=\kappa$ and which, in addition, satisfies all statements of the form $H(\aleph_2)\models \exists y\varphi(a, y)$, where $a\in H(\aleph_2)$ and $\varphi(x, y)$ is a $\Sigma_0$ formula with the property that for every ground model $M$ of CH with $a\in M$ there is, in $M$, a suitably nice poset---specifically, a poset $\mathbb Q\subseteq H(\kappa)^M$ which is $\omega_1$-linked and symmetrically proper---adding some $b$ such that $\varphi(a, b)$. In particular, $\mathbb P$ forces Moore's Measuring principle, Baumgartner's Axiom for $\aleph_1$-dense sets of reals, Todor\v{c}evi\'{c}'s Open Colouring Axiom for sets of size $\aleph_1$, the Abraham-Rubin-Shelah Open Colouring Axiom, and Todor\v{c}evi\'{c}'s P-ideal Dichotomy for $\aleph_1$-generated ideals on $\omega_1$, among other statements. Hence, all these statements are simultaneously compatible with a large continuum. Finally, we show that a further small variation of our construction yields a model satisfying, in addition to all the earlier conclusions, Martin's Maximum for posets of size $\aleph_1$.
| Item Type: | Article |
|---|---|
| Uncontrolled Keywords: | proper forcing axiom,large continuum,$\omega_1$-linked symmetrically proper forcing,measuring,forcing with side conditions |
| Faculty \ School: | Faculty of Science > School of Engineering, Mathematics and Physics |
| UEA Research Groups: | Faculty of Science > Research Groups > Algebra, Number Theory, Logic, and Representations (ANTLR) |
| Related URLs: | |
| Depositing User: | LivePure Connector |
| Date Deposited: | 20 Nov 2025 15:30 |
| Last Modified: | 20 Nov 2025 15:30 |
| URI: | https://ueaeprints.uea.ac.uk/id/eprint/101073 |
| DOI: | issn:0219-0613 |
Actions (login required)
 |
View Item |