Degree spectra of relations on a cone

DOI10.1090/MEMO/1208MaRDI QIDQ4645836zbMATH OpenOpenAlexFDO

Authors Matthew Harrison-Trainor

Publication date 11 January 2019

Published in Memoirs of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1412.3842

zbMATH Keywords

computable structuredegree spectrum of a relationcone of Turing degrees

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)

Abstract: Let $mathcalA$ be a mathematical structure with an additional relation $R$. We are interested in the degree spectrum of $R$, either among computable copies of $mathcalA$ when $(mathcalA,R)$ is a "natural" structure, or (to make this rigorous) among copies of $(mathcalA,R)$ computable in a large degree extbf{d}. We introduce the partial order of degree spectra extit{on a cone} and begin the study of these objects. Using a result of Harizanov---that, assuming an effectiveness condition on $mathcalA$ and $R$, if $R$ is not intrinsically computable, then its degree spectrum contains all c.e. degrees---we see that there is a minimal non-trivial degree spectrum on a cone, consisting of the c.e. degrees. We show that this does not generalize to d.c.e. degrees by giving an example of two incomparable degree spectra on a cone. We also give a partial answer to a question of Ash and Knight: they asked whether (subject to some effectiveness conditions) a relation which is not intrinsically $Delt{a}_a^{0}lpha$ must have a degree spectrum which contains all of the $alpha$-CEA degrees. We give a positive answer to this question for $alpha=2$ by showing that any degree spectrum on a cone which strictly contains the $Delt{a}_2^0$ degrees must contain all of the 2-CEA degrees. We also investigate the particular case of degree spectra on the structure $(omega,<)$. This work represents the beginning of an investigation of the degree spectra of "natural" structures, and we leave many open questions to be answered.

Recommendations

• Degree spectra of intrinsically c. e. relations
• Degree spectra of relations on structures of finite computable dimension
• Degree spectra of relations on computable structures in the presence of Δ₂⁰isomorphisms
• Degrees of relations on ordinals
• Some effects of Ash-Nerode and other decidability conditions on degree spectra

Cites work

• scientific article; zbMATH DE number 4108753 (Why is no real title available?)
• scientific article; zbMATH DE number 3732033 (Why is no real title available?)
• scientific article; zbMATH DE number 3732038 (Why is no real title available?)
• scientific article; zbMATH DE number 1873435 (Why is no real title available?)
• scientific article; zbMATH DE number 2204762 (Why is no real title available?)
• scientific article; zbMATH DE number 3266609 (Why is no real title available?)
• scientific article; zbMATH DE number 3342830 (Why is no real title available?)
• scientific article; zbMATH DE number 3342831 (Why is no real title available?)
• scientific article; zbMATH DE number 3078993 (Why is no real title available?)
• A classification of jump operators
• Borel determinacy
• Coding a family of sets
• Computable isomorphisms, degree spectra of relations, and Scott families
• Computable structures and the hyperarithmetical hierarchy
• Degree Spectra of Relations on Computable Structures
• Degree spectra of unary relations on $\langle \omega, \leq \rangle$
• Degrees coded in jumps of orderings
• Effective model theory vs. recursive model theory
• Generic copies of countable structures
• Intrinsic Reducibilities
• Intrinsically \(\Sigma ^ 0_{\alpha}\) relations
• Notes on the Jump of a Structure
• On the spectrum of degrees of decidable relations
• Possible degrees in recursive copies
• Possible degrees in recursive copies. II
• Recursive Structures and Ershov's Hierarchy
• Set Theory
• Some effects of Ash-Nerode and other decidability conditions on degree spectra
• The axiom of determinateness and reduction principles in the analytical hierarchy
• The possible Turing degree of the nonzero member in a two element degree spectrum
• The theory of well-quasi-ordering: a frequently discovered concept

Cited in

(8)

• Relativized Degree Spectra
• Logical Approaches to Computational Barriers
• Degrees of categoricity on a cone via \(\eta\)-systems
• Categoricity spectra of computable structures
• Degrees of relations on ordinals
• Degree spectra of intrinsically c. e. relations
• THE COMPLEMENTS OF LOWER CONES OF DEGREES AND THE DEGREE SPECTRA OF STRUCTURES
• Relación entre conos de direcciones decrecientes y conos de direcciones de descenso

This page was built for publication: Degree spectra of relations on a cone

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4645836)