Isomorphism of invariant measures vanishing on trivial structures

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), each assigning measure 00 to every trivial structure. Invariant-measure isomorphism conjecture. There is a measurable isomorphism

f:Strκ[L](X)Strκ[L](X)f:\operatorname{Str}_{\kappa}[\operatorname{\mathscr{L}}](X)\to\operatorname{Str}_{\kappa}[\operatorname{\mathscr{L}}](X)

such that μ0\mu_0 is the pushforward of μ1\mu_1 along ff:

μ0=fμ1.\mu_0= f_*\mu_1.

This is presented as a stronger form of the conjectured equivalence between the corresponding random forcing notions.

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.