加载中…
Given a countable scattered linear order of Hausdorff rank $\alpha < \omega_1d\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 $\alpha < \omega_1$ 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.

生成讲解博客的中文版本

生成AI智能校验的中文版本