Thomas's finite reducts conjecture for finite-language homogeneous structures

Let Δ\Delta be a countable relational structure that is homogeneous in a finite language. A reduct of Δ\Delta is a relational structure on the same domain whose relations are first-order definable in Δ\Delta. Two structures are first-order interdefinable when each is a reduct of the other.

Thomas's conjecture. The structure Δ\Delta 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 ω\omega-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

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.