  Set-theoretic axioms formulated in terms of existence of a Laver-generic
large cardinal were introduced in [16] and studied further in [17], [18], [20].
These axioms, let us call them Laver-genericity axioms, claim the existence of
a $\mathcal{P}$-Laver generic large cardinal for various classes
$\mathcal{P}$-of proper or semi-proper posets, and they still vary depending on
the notions of large cardinal involved, and a modification (tightness) of the
definition of Laver-genericity. Laver-genericity axioms we consider here are
divided into three groups depending on whether they imply that the Laver
generic large cardinal $\kappa$ is either $\aleph_2=(2^{\aleph_0})^+$, or it is
$\aleph_2 = 2^{\aleph_0}$, or else it is very large and $= 2^{\aleph_0}$ (see
the Trichotomy Theorem (Theorem 3.5)). Many set-theoretic axioms and principles
considered in the recent development of set theory follow from a
Laver-genericity axiom in one of these three groups, and by this, they are
placed uniformly in a global context (see Figure 3). In spite of this very
strong unifying feature of the Laver genericity axioms, we show that Maximality
Principle (MP) without parameters is independent over ZFC with any of the
Laver-genericity axioms we consider in our present context (Theorem 4.8,
Theorem 5.11). Similar independence is also shown for parameterized versions of
Maximality Principles (Theorem 6.1, Theorem 6.5). In contrast to these
independence results, we can show that local versions of Maximality Principle
as well as versions of Resurrection Axioms including the Unbounded Resurrection
Axioms of Tsaprounis follow from the existence of a tightly Laver-generic large
cardinal for a strong enough notion of large cardinal (Theorem 6.6, Theorem
7.1, Theorem 7.2).
