共查询到20条相似文献,搜索用时 156 毫秒
2.
3.
《Expositiones Mathematicae》2022,40(4):1181-1228
4.
5.
7.
8.
9.
10.
11.
Jacques Darné 《Journal of Pure and Applied Algebra》2019,223(12):5484-5525
12.
13.
14.
15.
16.
We first give an example of a rigid structure of computable dimension 2 such that the unique isomorphism between two non-computably isomorphic computable copies has Turing degree strictly below , and not above . This gives a first example of a computable structure with a degree of categoricity that does not belong to an interval of the form for any computable ordinal α. We then extend the technique to produce a rigid structure of computable dimension 3 such that if , , and are the degrees of isomorphisms between distinct representatives of the three computable equivalence classes, then each . The resulting structure is an example of a structure that has a degree of categoricity, but not strongly. 相似文献
17.
18.
19.
20.