Ergodic decomposition of invariant measures on structure spaces

Let XX be a set, let L\operatorname{\mathscr{L}} be a language, and let κ\kappa be a cardinal. Let μ\mu be an invariant measure on Strκ[L](X)\operatorname{Str}_{\kappa}[\operatorname{\mathscr{L}}](X). Ergodic-decomposition conjecture. The measure μ\mu is a mixture of ergodic invariant measures on Strκ[L](X)\operatorname{Str}_{\kappa}[\operatorname{\mathscr{L}}](X). The paper recalls this decomposition when XX, L\operatorname{\mathscr{L}}, and κ\kappa are countable and conjectures that it remains true when at least one of them is uncountable.

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).

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.