The slowest-growth conjecture outside the order-interpretable class
The slowest-growth conjecture outside the order-interpretable class
Let -categorical mean categorical in every infinite cardinality, and for an -categorical structure let be the number of orbits of on -element subsets of . Let be the countable circular order and let denote its betweenness relation.
Slowest-growth conjecture. If an -categorical structure is not interpretable in , then
for all sufficiently large .
The claim formalizes the observation that the circular-order betweenness structure appears to have the slowest known unlabelled growth outside the class of structures interpretable in . It remains open.
Sources & referencesView supporting material
Primary source
Manuel Bodirsky, Bertalan Bodor and Paolo Marimon, “Taking model-complete cores”, arXiv:2512.21278 (2026).
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.