A jump inversion theorem for the semilattices of -degrees

MaRDI QIDQ2454541zbMATH OpenFDO

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

zbMATH Keywords

computabilitycomputable structureadmissible set

Mathematics Subject Classification ID

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

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

Cited in

(14)

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

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)