Abstract:For any limit ordinal $\lambda$, we construct a linear order $L_\lambda$ whose Scott complexity is $\Sigma_{\lambda+1}$. This completes the classification of the possible Scott sentence complexities of linear orderings. Previously, there was only one known construction of any structure (of any signature) with Scott complexity $\Sigma_{\lambda+1}$, and our construction gives new examples, e.g., rigid structures, of this complexity. Moreover, we can construct the linear orders $L_\lambda$ so that not only does $L_\lambda$ have Scott complexity $\Sigma_{\lambda+1}$, but there are continuum-many structures $M \equiv_\lambda L_\lambda$ and all such structures also have Scott complexity $\Sigma_{\lambda+1}$. In contrast, we demonstrate that there is no structure (of any signature) with Scott complexity $\Pi_{\lambda+1}$ that is only $\lambda$-equivalent to structures with Scott complexity $\Pi_{\lambda+1}$. Our construction is based on functions $f \colon \mathbb{Z}\to \mathbb{N}\cup \{\infty\}$ which are almost periodic but not periodic, such as those arising from shifts of the $p$-adic valuations.

Scott Complexity of Reduced Abelian $p$-Groups

Scott analysis, linear orders and almost periodic functions

Abelian $p$-groups with a $p$-bounded factor or a $p$-bounded subgroup

Complexity of Scott Sentences

On $p$-groups with a maximal elementary abelian normal subgroup of rank $k$

The Brauer indecomposability of Scott modules and the quadratic group Qd(p)

Non-Archimedean TSI Polish groups and their potential Borel complexity spectrum

On the orders of composition factors in completely reducible groups

Abelian $p$--groups and their endomorphism rings

Irreducible restrictions of representations of alternating groups in small characteristics: Reduction theorems

Irreducible representations of the symmetric groups from slash homologies of p-complexes

Fixed locus dimension of diagonalizable $p$-groups

Enumeration of groups in some special varieties of $A$-groups

A lower bound on the size of maximal abelian subgroups

Irreducible restrictions of representations of symmetric and alternating groups in small characteristics

Reduced words for clans

The fundamental group of the $p$-subgroup complex

Scott sentence complexities of linear orderings

Intermediate subalgebras for reduced crossed products of discrete groups

Irreducible Restrictions of Representations of Symmetric Groups in Small Characteristics: Reduction Theorems