Author:
Andrews Uri,Knight Julia F.
Abstract
AbstractFor a countable structure , the spectrum is the set of Turing degrees of isomorphic copies of . For a complete elementary first order theory T, the spectrum is the set of Turing degrees of models of T. We answer a question from [1] by showing that there is an atomic theory T whose spectrum does not match the spectrum of any structure.
Publisher
Cambridge University Press (CUP)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. DEGREE SPECTRA OF ANALYTIC COMPLETE EQUIVALENCE RELATIONS;The Journal of Symbolic Logic;2021-10-08
2. Theory spectra and classes of theories;Transactions of the American Mathematical Society;2017-05-16