Universality of random generic extensions for invariant measures

From papers

Let XX be a set, let L\operatorname{\mathscr{L}} be a language, and let κ\kappa be the relevant cardinal. Let μ0\mu_0 and μ1\mu_1 be invariant measures on Strκ[L](X)\operatorname{Str}_{\kappa}[\operatorname{\mathscr{L}}](X), and let \Generic0\Generic_0 be a μ0\mu_0-random generic filter over VV. Suppose that both measures assign measure 00 to every trivial structure. Random-generic universality conjecture. In V[\Generic0]V[\Generic_0] there is a μ1\mu_1-random generic filter over VV. This proposes that, under the stated null-trivial-structure condition, one random generic extension contains random generics for every other invariant measure.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Nathanael Ackerman, Cameron Freer, Mohammad Golshani, Mostafa Mirabi and Rehana Patel, “Forcing with Invariant Measures”, arXiv:2606.14675 (2026).

Solutions 0

No solutions have been posted yet.