Forcing equivalence of Cohen forcings for non-trivial Fraïssé classes

From papers

Let XX be the underlying set and let \AgeK0\AgeK_0 and \AgeK1\AgeK_1 be non-trivial Fraïssé classes, each with at most X|X| many elements up to isomorphism. Write \Cohen[X](\AgeK)\Cohen[X](\AgeK) for the Cohen forcing associated with a Fraïssé class \AgeK\AgeK on XX. Forcing-equivalence conjecture. The forcings

\Cohen[X](\AgeK0) and \Cohen[X](\AgeK1)\Cohen[X](\AgeK_0)\text{ and }\Cohen[X](\AgeK_1)

are forcing equivalent. This conjecture extends the corresponding result for countable strong Fraïssé classes and asserts that the countability hypothesis is unnecessary.

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.