Thomas's finite reducts conjecture for finite-language homogeneous structures
Thomas's finite reducts conjecture for finite-language homogeneous structures
Let be a countable relational structure that is homogeneous in a finite language. A reduct of is a relational structure on the same domain whose relations are first-order definable in . Two structures are first-order interdefinable when each is a reduct of the other.
Thomas's conjecture. The structure has only finitely many reducts up to first-order interdefinability.
This conjecture predicts finiteness for the reduct classification of highly symmetric homogeneous structures. It generalizes known classifications of several prominent -categorical structures, but the source provides no resolution of the general case.
Sources & referencesView supporting material
Primary source
Manuel Bodirsky and Michael Pinsker, “Reducts of Ramsey structures”, arXiv:1105.6073 (2011).
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.