Possible degrees in recursive copies
A recursive structure is a recursive set \(A\) together with recursive relations \(R\) on \(A\). We denote this \((A, R)\). It is of interest to know if there are isomorphic structures (called `recursive copies') \((A', R')\) where \(A'\) is recursive but \(R'\) is not. More generally, the degree spectra of \((A, R)\) is the set of Turing degrees \({\mathbf a}\) such that there is some recursive copy \((A', R')\) where \(R'\) has degree \({\mathbf a}\). \textit{V. S. Harizanov} [Ann. Pure Appl. Log. 55, 51-65 (1991; Zbl 0756.03022)] has isolated a syntactic condition (with additional effectiveness conditions) which is necessary and sufficient for \((A, R)\) to have degree spectra all the r.e. degrees. It is an open question to determine a condition under which the degree spectra is all the \(\Sigma_\alpha\) degrees. This paper shows that several conjectures of conditions are false.
- Generic copies of countable structures
- Uncountable degree spectra
- Coding a family of sets
- Inseparability in recursive copies
- Quasi-simple relations in copies of a given recursive structure
- Permitting, forcing, and copying of a given recursive relation
- Possible degrees in recursive copies. II
- Realizing levels of the hyperarithmetic hierarchy as degree spectra of relations on computable structures
- Generalised weak presentations
- Recursive properties of isomorphism types
- scientific article; zbMATH DE number 695580 (Why is no real title available?)
- Degree spectra of relations on a cone
- Π11 relations and paths through
This page was built for publication: Possible degrees in recursive copies
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1902615)
