Separating Maximality Principles

Takehiko Gappo, Andreas Lietz

We investigate fragments of generic absoluteness principles known as Maximality Principles. We determine the consistency strength of ${\Sigma }_n$-$\mathsf{MP}(\mathbb{R})$ and ${\Pi }_n$-$\math…