Prevalence of Generic Laver Diamond

Sean D. Cox

Viale \cite{Viale_GuessingModel} introduced the notion of Generic Laver Diamond at $\kappa$---which we denote ${◊}_{\text{Lav}}(\kappa )$---asserting the existence of a single function f…