Thomas's conjecture on reducts of countable ultrahomogeneous structures
Thomas's conjecture on reducts of countable ultrahomogeneous structures
Let be a countable ultrahomogeneous structure in a finite relational language. A reduct of is a structure on the same domain whose relations and functions are definable in without parameters; two reducts are interdefinable when each is a reduct of the other. Thomas's conjecture. If is a countable ultrahomogeneous structure in a finite relational language, then 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
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.