{"id":"arxiv/2606.14675","url":"https://arxiv.org/abs/2606.14675","tags":["math.LO"],"score":0,"title":"Forcing with Invariant Measures","domain":"math.LO","source":"arxiv","authors":["Nathanael Ackerman","Cameron Freer","Mohammad Golshani","Mostafa Mirabi","Rehana Patel"],"reviews":0,"subject":"math.LO","summary":"This paper introduces a model-theoretic generalization of the notion of forcing with random reals, in which forcing gives rise to random generic structures. Specifically, we consider forcing with $κ$-Borel probability measures on the space of $L$-structures with a (possibly uncountable) infinite set $X$, focusing on those that are invariant under the action of the symmetric group $Sym(X)$. We demonstrate how any $Sym(X)$-invariant measure where $X$ is countable can be uniquely extended to a $Sym(Y)$-invariant measure where $Y$ is uncountable, and prove that forcing with such measures…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-06-12","reactions":{}}