Scott analysis, linear orders, and almost periodic functions
Abstract Given a countable structure, the Scott complexity measures the difficulty of characterizing the structure up to isomorphism. In this paper, we consider the Scott complexity of linear orders. For any limit ordinal , we construct a linear order whose Scott complexity is . 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 , and our construction gives new examples, for example, rigid structures, of this complexity. Moreover, we can construct the linear orders so that not only does have Scott complexity , but there are continuum‐many structures and all such structures also have Scott complexity . In contrast, we demonstrate that there is no structure (of any signature) with Scott complexity that is only ‐equivalent to structures with Scott complexity . Our construction is based on functions that are almost periodic but not periodic, such as those arising from shifts of the ‐adic valuations.
Authors
- Meng-Che Ho (ORCID: https://orcid.org/0000-0001-6292-6835)
- Matthew Harrison‐Trainor
- David Gonzalez (ORCID: https://orcid.org/0000-0003-0085-9280)
Institutions
- California State University, Northridge (US)
- University of Illinois Chicago (US)
- University of California, Berkeley (US)
Publication Details
- Journal
- Bulletin of the London Mathematical Society
- Published
- 2025-02-06
- DOI
- https://doi.org/10.1112/blms.70020
- Primary Topic
- Matrix Theory and Algorithms
- Type
- article
- Field-Weighted Citation Impact
- 0.00
Funders
- National Science Foundation