A standard way to capture the inherent complexity of the isomorphism type of a countable structure is to consider the collection of all Turing degrees relative to which a given structure has a computable isomorphic copy. This set is called the degree spectrum of structure. Similarly, to characterize the complexity of models of a theory, one may consider the collection of all degrees relative to which the theory has a computable model. In this case we get the spectrum of the theory. In this paper we generalize these two notions to arbitrary equivalence relations. For a structure A and an equivalence relation E, we define the degree spectrum DgSp(A, E) of A relative to E to be the set of all degrees capable of computing a structure B that is E-equivalent to A. Then the standard degree spectrum of A is DgSp(A, ∼ =) and the degree spectrum of the theory of A is DgSp(A, ≡). We consider the relations ≡ Σn (A ≡ Σn B iff the Σ n theories of A and B coincide) and study degree spectra with respect to ≡ Σn .
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.
customersupport@researchsolutions.com
10624 S. Eastern Ave., Ste. A-614
Henderson, NV 89052, USA
This site is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.
Copyright © 2024 scite LLC. All rights reserved.
Made with 💙 for researchers
Part of the Research Solutions Family.