English

$\mathsf{MA} (\mathcal{I}$) and a Failure of Separation on the third Level

Logic 2025-11-05 v1

Abstract

We present a method which forces the failure of Π31\Pi^1_3 and Σ31\Sigma^1_3-separation, while MA(I\mathsf{MA} (\mathcal{I}) holds, for I\mathcal{I} the family of indestructible ccc forcings. This shows that, in contrast to the assumption BPFA\mathsf{BPFA} and 1=1L\aleph_1=\aleph_1^L which implies Π31\Pi^1_3-separation, that weaker forcing axioms do not decide separation on the third projective level.

Keywords

Cite

@article{arxiv.2507.01187,
  title  = {$\mathsf{MA} (\mathcal{I}$) and a Failure of Separation on the third Level},
  author = {Stefan Hoffelner},
  journal= {arXiv preprint arXiv:2507.01187},
  year   = {2025}
}

Comments

arXiv admin note: text overlap with arXiv:2506.21778