English

The complexity of Scott sentences of scattered linear orders

Logic 2021-07-01 v3

Abstract

Given a countable scattered linear order LL of Hausdorff rank α<ω1\alpha < \omega_1 we show that it has a d-Σ2α+1d\text{-}\Sigma_{2\alpha+1} Scott sentence. Ash calculated the back and forth relations for all countable well-orders. From this result we obtain that this upper bound is tight, i.e., for every α<ω1\alpha < \omega_1 there is a linear order whose optimal Scott sentence has this complexity. We further show that for all countable α\alpha the class of Hausdorff rank α\alpha linear orders is Σ2α+2\pmb \Sigma_{2\alpha+2} complete.

Keywords

Cite

@article{arxiv.1810.11423,
  title  = {The complexity of Scott sentences of scattered linear orders},
  author = {Rachael Alvir and Dino Rossegger},
  journal= {arXiv preprint arXiv:1810.11423},
  year   = {2021}
}

Comments

25 pages