English

Structures with not too fast unlabelled growth

Logic 2025-07-24 v1 Group Theory

Abstract

Let S\mathscr{S} be the class of all structures whose growth rate on orbits of subsets of size nn is not faster than 2np(n)\frac{2^n}{p(n)} for any polynomial pp. In this article we give a complete classification of all structures in S\mathscr{S} in terms of their automorphism groups. As a consequence of our classification we show that S\mathscr{S} has only countably many structures up to bidefinability, all these structures are first-order interpretable in (Q;<)(\mathbb{Q};<) and they are interdefinable with a finitely bounded homogeneous structure. Furthermore, we also show that all structures in S\mathscr{S} have finitely many first-order reduct up to interdefinability, thereby confirming Thomas' conjecture for the class S\mathscr{S}.

Keywords

Cite

@article{arxiv.2507.16985,
  title  = {Structures with not too fast unlabelled growth},
  author = {Bertalan Bodor},
  journal= {arXiv preprint arXiv:2507.16985},
  year   = {2025}
}
R2 v1 2026-07-01T04:14:11.404Z