Abstract: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 $\kappa$-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 satisfies the countable chain condition. We also show that we can uniformly distinguish between these random generic structures and the Cohen generic structures that arise from forcing with a strong Fraïssé class: There is a $\kappa$-Borel set of low complexity that contains every Cohen generic structure that is not highly homogeneous but contains no random generic structure, implying that a structure that is not highly homogeneous cannot be both Cohen generic and random generic. Finally, we answer an open question of Kostana in the case of $\omega_1$, by establishing a connection between forcing with a strong Fraïssé class and Cohen forcing.
From: Cameron Freer [view email]
[v1]
Fri, 12 Jun 2026 17:41:00 UTC (60 KB)
此内容由惯性聚合(RSS阅读器)自动聚合整理，仅供阅读参考。 原文来自 — 版权归原作者所有。