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 - and -, the boldface Maximality Principle restricted respectively to - and -formulas. Further, we show that no implication between - and - is provable in . We also establish the consistency, relative to a Woodin cardinal, of the Maximality Principle for -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 -formulas from 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