Homogeneity of equivalence classes after naming another class
Homogeneity of equivalence classes after naming another class
Let be a -definable equivalence relation in a finite-dimensional permutation structure, and let and be -classes. Naming means expanding the structure by a predicate for .
Homogeneity-after-naming conjecture. The class remains homogeneous after naming .
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
Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.
Solutions 0
Sign in to submit a solution.
No solutions have been posted yet.