Thomas's conjecture on reducts of countable ultrahomogeneous structures

Let (M\mathstrut M be a countable ultrahomogeneous structure in a finite relational language. A reduct of (M\mathstrut M is a structure on the same domain whose relations and functions are definable in (M\mathstrut M without parameters; two reducts are interdefinable when each is a reduct of the other. Thomas's conjecture. If (M\mathstrut M is a countable ultrahomogeneous structure in a finite relational language, then (M\mathstrut M has finitely many reducts up to interdefinability. The conjecture concerns the classification of reducts of ultrahomogeneous structures; the supplied text gives no resolution status.

Sources & referencesView supporting material

Primary source

Nadav Meir, Aris Papadopoulos and Pierre Touchard, “Generalised Indiscernibles, Dividing Lines, and Products of Structures”, arXiv:2311.05996 (2024).

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.