Abstract:The present paper is concerned with the relation between recurrence axioms and Laver-generic large cardinal axioms in light of principles of generic absoluteness and the Ground Axiom. M. Viale proved that Martin's Maximum$^{++}$ together with the assumption that there are class many Woodin cardinals implies $\mathcal{H}(\aleph_2)^{\mathsf{V}}\prec_{\Sigma_2}\mathcal{H}(\aleph_2)^{\mathsf{V}[\mathbb{G}]}$ for a generic $\mathbb{G}$ on any stationary preserving $\mathbb{P}$ which also preserves Bounded Martin's Maximum. We show that a similar but more general conclusion follows from each of $(\mathcal{P},\mathcal{H}(\kappa))_{\Sigma_2}$-${\sf RcA}^+$ (which is a fragment of a reformulation of the Maximality Principle for $\mathcal{P}$ and $\mathcal{H}(\kappa)$), and the existence of the tightly $\mathcal{P}$-Laver-generically huge cardinal. While under "$\mathcal{P}=$ all stationary preserving posets", our results are not very much more than Viale's Theorem, for other classes of posets, "$\mathcal{P}=$ all proper posets" or "$\mathcal{P}=$ all ccc posets", for example, our theorems are not at all covered by his theorem. The assumptions (and hence also the conclusion) of Viale's Theorem are compatible with the Ground Axiom. In contrast, we show that the assumptions of our theorems (for most of the common settings of $\mathcal{P}$ and with a modification of the large cardinal property involved) imply the negation of the Ground Axiom. This fact is used to show that fragments of Recurrence Axiom $(\mathcal{P},\mathcal{H}(\kappa))_\Gamma$-${\sf RcA}^+$ can be different from the corresponding fragments of Maximality Principle ${\sf MP}(\mathcal{P},\mathcal{H}(\kappa))_\Gamma$ for $\Gamma=\Pi_2$, $\Sigma_2$, $\Pi_3$.

The downward directed grounds hypothesis and very large cardinals

Geology of symmetric grounds

Large cardinals, structural reflection, and the HOD Conjecture

Universal Graphs at $\aleph_{ω_1+1}$ and Set-theoretic Geology

The Axiom of Choice in the $κ$-Mantle

ZFC without power set II: Reflection strikes back

Generic Absoluteness Revisited

The large cardinals between supercompact and almost-huge

The grounded Martin's axiom

Absoluteness for the theory of the inner model constructed from finitely many cofinality quantifiers

Andrew Wiles' Proof of Fermat's Last Theorem, As Expected, Does Not Require a Large Cardinal Axiom. A Discussion of Colin McLarty's "The Large Structures of Grothendieck Founded on Finite-Order Arithmetic"

Low level definability above large cardinals

Large cardinals and gap-1 morasses

Gödel's Program in Set Theory

Axiomatization and Forcing in Set Theory with Urelements

On Recurrence Axioms

The Magidor iteration and restrictions of ultrapowers to the ground model

Upward Löwenheim-Skolem-Tarski Numbers for Abstract Logics

Categorical large cardinals and the tension between categoricity and set-theoretic reflection

The Ultrapower Axiom implies GCH above a supercompact cardinal