On categoricity of scattered linear orders of constructive ranks

Andrey Frolov,Maxim Zubkov
DOI: https://doi.org/10.1007/s00153-024-00934-5
2024-08-19
Archive for Mathematical Logic
Abstract:In this article we investigate the complexity of isomorphisms between scattered linear orders of constructive ranks. We give the general upper bound and prove that this bound is sharp. Also, we construct examples showing that the categoricity level of a given scattered linear order can be an arbitrary ordinal from 3 to the upper bound, except for the case when the ordinal is the successor of a limit ordinal. The existence question of the scattered linear orders whose categoricity level equals the successor of a limit ordinal is still open.
mathematics,logic
What problem does this paper attempt to address?