{"id":"arxiv/2601.19999","url":"https://arxiv.org/abs/2601.19999","tags":["math.GN","math.LO"],"score":0,"title":"A parametrized $\\diamondsuit$ for the Laver property and nontrivial automorphisms of $\\mathcal P(ω)/\\mathrm{Fin}$","domain":"math.GN","source":"arxiv","authors":["Will Brian","Alan Dow"],"reviews":0,"subject":"math.GN","summary":"We introduce a new parametrized diamond principle denoted $\\diamondsuit(\\mathsf{LP})$. This principle is akin to the parametrized diamonds of Moore, Hrušák, and Džamonja, each of which corresponds to some cardinal invariant of the continuum, and gives a $\\diamondsuit$-like guessing principle implying the corresponding invariant is $\\aleph_1$. Our principle $\\diamondsuit(\\mathsf{LP})$ is a $\\diamondsuit$-like guessing principle implying the Laver property holds over a given inner model, such as the ground model in a forcing extension. We show $\\diamondsuit(\\mathsf{LP})$ holds in many familiar…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-01-27","reactions":{}}