English

Separating Maximality Principles

Logic 2025-08-25 v1

Abstract

We investigate fragments of generic absoluteness principles known as Maximality Principles. We determine the consistency strength of Σn\Sigma_n-MP(R)\mathsf{MP}(\mathbb R) and Πn\Pi_n-MP(R)\mathsf{MP}(\mathbb R), the boldface Maximality Principle restricted respectively to Σn\Sigma_n- and Πn\Pi_n-formulas. Further, we show that no implication between Σn\Sigma_n-MP(R)\mathsf{MP}(\mathbb R) and Πn\Pi_n-MP(R)\mathsf{MP}(\mathbb R) is provable in ZFC\mathsf{ZFC}. We also establish the consistency, relative to a Woodin cardinal, of the Maximality Principle for ω1\omega_1-preserving posets with countable ordinal parameters and prove its consistency strength is bounded below by a Ramsey cardinal. Finally, we resolve questions of Ikegami-Trang and Goodman by separating the Maximality Principle for stationary set preserving posets restricted to Σ2\Sigma_2-formulas from MM++\mathsf{MM}^{++} in the presence of large cardinals.

Keywords

Cite

@article{arxiv.2508.16506,
  title  = {Separating Maximality Principles},
  author = {Takehiko Gappo and Andreas Lietz},
  journal= {arXiv preprint arXiv:2508.16506},
  year   = {2025}
}

Comments

29 pages

R2 v1 2026-07-01T05:01:56.323Z