Homogeneity of equivalence classes after naming another class

Let EE be a \emptyset-definable equivalence relation in a finite-dimensional permutation structure, and let C1C_1 and C2C_2 be EE-classes. Naming C1C_1 means expanding the structure by a predicate for C1C_1.

Homogeneity-after-naming conjecture. The class C2C_2 remains homogeneous after naming C1C_1.

The statement is identified as a possible route to ruling out counterexamples to the conjectural classification and is known in the case of three linear orders; the general claim remains open.

Sources & referencesView supporting material

Primary source

Samuel Braunfeld, “Infinite Limits of Finite-Dimensional Permutation Structures, and their Automorphism Groups: Between Model Theory and Combinatorics”, arXiv:1805.04219 (2018).

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.