当前位置: X-MOL 学术J. Math. Log. › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
Coding in the automorphism group of a computably categorical structure
Journal of Mathematical Logic ( IF 0.9 ) Pub Date : 2020-02-18 , DOI: 10.1142/s0219061320500166
Dan Turetsky 1
Affiliation  

Using new techniques for controlling the categoricity spectrum of a structure, we construct a structure with degree of categoricity but infinite spectral dimension, answering a question of Bazhenov, Kalimullin and Yamaleev. Using the same techniques, we construct a computably categorical structure of non-computable Scott rank.

中文翻译:

可计算分类结构的自同构群中的编码

使用控制结构的分类谱的新技术,我们构造了一个具有分类度但谱维数无限的结构,回答了 Bazhenov、Kalimullin 和 Yamaleev 的问题。使用相同的技术,我们构建了一个不可计算的 Scott 秩的可计算分类结构。
更新日期:2020-02-18
down
wechat
bug