Skip to main content
added (continuum-hypothesis) - to me it seems as a suitable tag, feel free to revert the edit if it does not fit for some reason
Link
Martin Sleziak
  • 4.7k
  • 4
  • 35
  • 40
Source Link
Mohammad Golshani
  • 32.1k
  • 2
  • 99
  • 198

PFA for cardinal preserving forcing notions and the CH

Let $FA_{\aleph_1}$(cardinal preserving proper forcings) be the forcing axiom: if $\mathbb{P}$ is a cardinal preserving proper forcing notion and $(D_\xi)_{\xi<\omega_1}$ are dense subsets of $\mathbb{P},$ then there exists a filter $G \subseteq \mathbb{P}$ which meets all $D_\xi$'s, $\xi < \omega_1$.

Does this forcing axiom decide CH. More precisely,

Question. Assuming the existence of large cardinals, is $FA_{\aleph_1}$(cardinal preserving proper forcings) consistent with large values of the continuum?