Ergodic decomposition of invariant measures on structure spaces

Less than 1 year old · traced to

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.

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.