The complexity of Scott sentences of scattered linear orders
Logic
2021-07-01 v3
Abstract
Given a countable scattered linear order of Hausdorff rank we show that it has a 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 there is a linear order whose optimal Scott sentence has this complexity. We further show that for all countable the class of Hausdorff rank linear orders is 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