SCOTT SENTENCE COMPLEXITIES OF LINEAR ORDERINGS
Abstract We study possible Scott sentence complexities of linear orderings using two approaches. First, we investigate the effect of the Friedman–Stanley embedding on Scott sentence complexity and show that it only preserves $\Pi ^{\mathrm {in}}_{\alpha }$ complexities. We then take a more direct approach and exhibit linear orderings of all Scott sentence complexities except $\Sigma ^{\mathrm {in}}_{3}$ and $\Sigma ^{\mathrm {in}}_{\lambda +1}$ for $\lambda $ a limit ordinal. We show that the former cannot be the Scott sentence complexity of a linear ordering. In the process we develop new techniques which appear to be helpful to calculate the Scott sentence complexities of structures.
Authors
- Dino Rossegger (ORCID: https://orcid.org/0000-0003-3494-9049)
- David Gonzalez (ORCID: https://orcid.org/0000-0003-0085-9280)
Institutions
- TU Wien (AT)
- University of California System (US)
- University of California, Berkeley (US)
Publication Details
- Journal
- Journal of Symbolic Logic
- Published
- 2024-12-13
- DOI
- https://doi.org/10.1017/jsl.2024.59
- Citations
- 2
- Primary Topic
- Advanced Algebra and Logic
- Type
- article
- Field-Weighted Citation Impact
- 0.72