Degree spectra of relations on computable structures in the presence of Δ20isomorphisms

DOI10.2178/JSL/1190150105MaRDI QIDQ3149990zbMATH OpenOpenAlexFDO

Authors Denis R. Hirschfeldt

Publication date 4 December 2002

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2178/jsl/1190150105

zbMATH Keywords

1-decidable structures\(\Delta^0_2\)-categorical computable structurescomputable linear orderingscomputable relationsdegree spectrainvariant relations

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)

Recommendations

• Degree Spectra of Relations on Computable Structures
• A note on \(\Delta_2^0\)-spectra of linear orderings and degree spectra of the successor relation
• Degree spectra of relations on structures of finite computable dimension
• Computable isomorphisms, degree spectra of relations, and Scott families
• Turing degrees of certain isomorphic images of computable relations

Cites work

• Computable isomorphisms, degree spectra of relations, and Scott families
• Degree spectra of intrinsically c. e. relations
• Elementary induction on abstract structures
• Intrinsically Hyperarithmetical Sets
• Permitting, forcing, and copying of a given recursive relation
• Relations Intrinsically Recursive in Linear Orders
• Some effects of Ash-Nerode and other decidability conditions on degree spectra
• The d.r.e. degrees are not dense
• Turing degrees of certain isomorphic images of computable relations

Cited in

(15)

• Some effects of Ash-Nerode and other decidability conditions on degree spectra
• The possible Turing degree of the nonzero member in a two element degree spectrum
• Computable isomorphisms, degree spectra of relations, and Scott families
• Realizing levels of the hyperarithmetic hierarchy as degree spectra of relations on computable structures
• Degree spectra and computable dimensions in algebraic structures
• Degree spectra of relations on structures of finite computable dimension
• Computable linear orders and limitwise monotonic functions
• Computable structures and operations on the space of continuous functions
• Degree Spectra of Relations on Computable Structures
• Degree spectra of relations on a cone
• Δ 2 0 -copies of linear orderings
• Π₁⁰ classes and strong degree spectra of relations
• Computable ideals in \(I\)-algebras
• Presentations of the successor relation of computable linear ordering
• The complexity of the successor and the block relations on computable linear orders

This page was built for publication: Degree spectra of relations on computable structures in the presence of Δ₂⁰isomorphisms

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