The complexity of Scott sentences of scattered linear orders

Rachael Alvir, Dino Rossegger

Given a countable scattered linear order $L$ of Hausdorff rank $\alpha <{\omega }_1$ we show that it has a $d\text{-}{\Sigma }_{2\alpha +1}$ Scott sentence. Ash calculated the back and forth relations for al…