On categoricity of scattered linear orders of constructive ranks

被引:0
|
作者
Frolov, Andrey [1 ,2 ]
Zubkov, Maxim [2 ]
机构
[1] Innopolis Univ, Univ Str 1, Innopolis 420500, Russia
[2] Kazan Fed Univ, NI Lobachevsky Inst Math & Mech, Kremlevskaya Str 18, Kazan 420008, Russia
基金
俄罗斯科学基金会;
关键词
Categoricity; Linear order; Constructive rank; Scattered linear order;
D O I
10.1007/s00153-024-00934-5
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
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.
引用
收藏
页数:19
相关论文
共 50 条