当前位置:
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
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
中文翻译:
可计算分类结构的自同构群中的编码
使用控制结构的分类谱的新技术,我们构造了一个具有分类度但谱维数无限的结构,回答了 Bazhenov、Kalimullin 和 Yamaleev 的问题。使用相同的技术,我们构建了一个不可计算的 Scott 秩的可计算分类结构。