Universality of random generic extensions for invariant measures

Less than 1 year old · traced to

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.

References

Primary source

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

Progress summary

Never refreshed

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

Solutions 0

No solutions have been posted yet.