A complete classification of ω-categorical structures with unlabelled growth below 2^n/p(n), confirming Thomas' conjecture and giving optimal growth gaps for this class.
On omega-categorical structures with few finite substructures
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
abstract
We establish new results on the possible growth rates for the sequence (f_n) counting the number of orbits of a given oligomorphic group on unordered sets of size n. Macpherson showed that for primitive actions, the growth is at least exponential (if the sequence is not constant equal to 1). The best lower bound previously known for the base of the exponential was obtained by Merola. We establishing the optimal value of 2 in the case where the structure is unstable. This allows us to improve on Merola's bound and also obtain the optimal value for structures homogeneous in a finite relational language. Finally, we show that the study of sequences (f_n) of sub-exponential growth reduces to the omega-stable case.
fields
math.LO 1years
2025 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Structures with not too fast unlabelled growth
A complete classification of ω-categorical structures with unlabelled growth below 2^n/p(n), confirming Thomas' conjecture and giving optimal growth gaps for this class.