A jump inversion theorem for the semilattices of -degrees

zbMATH Open1299.03048MaRDI QIDQ2454541FDOQ2454541

Authors: Alexey I. Stukachev 

Publication date: 13 June 2014

Published in: Sibirskie Elektronnye Matematicheskie Izvestiya (Search for Journal in Brave)

Full work available at URL: http://semr.math.nsc.ru/v6/p182-190.pdf

Recommendations

• A Jump Inversion Theorem for the Degree Spectra
• A Jump Inversion Theorem for the Degree Spectra
• Another jump inversion theorem for structures
• Jump inversions of algebraic structures and Σ‐definability
• A jump inversion theorem for the enumeration jump

zbMATH Keywords

computabilitycomputable structureadmissible set

Mathematics Subject Classification ID

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

Cited In (14)

• Interval extensions of orders and temporal approximation spaces
• Fixed points for the jump operator
• Jump inversions of algebraic structures and the \({\Sigma}\)-definability
• Rice sequences of relations
• Properties of \(s\Sigma\)-reducibility
• Generalized hyperarithmetical computability over structures
• Enumeration reducibility and computable structure theory
• The Jump Inversion Theorem for Q 2n+1 -Degrees
• A Jump Inversion Theorem for the Degree Spectra
• CODING IN GRAPHS AND LINEAR ORDERINGS
• Processes and structures on approximation spaces
• A Jump Inversion Theorem for the Degree Spectra
• On processes and structures
• Jump inversions of algebraic structures and Σ‐definability

This page was built for publication: A jump inversion theorem for the semilattices of \(\Sigma\)-degrees

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