Generalized hyperarithmetical computability over structures

DOI10.1007/S10469-017-9421-1MaRDI QIDQ2401541zbMATH OpenOpenAlexFDO

Authors Alexey I. Stukachev

Publication date 4 September 2017

Published in Algebra and Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10469-017-9421-1

zbMATH Keywords

computable analysiscomputability theoryapproximation spacesadmissible setsconstructive modelshyperarithmetical computability

Mathematics Subject Classification ID

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

Recommendations

• Processes and structures on approximation spaces
• On processes and structures
• scientific article; zbMATH DE number 1534487
• Degrees of presentability of structures. I
• scientific article; zbMATH DE number 5049507

Cites work

• scientific article; zbMATH DE number 6536312 (Why is no real title available?)
• scientific article; zbMATH DE number 3921954 (Why is no real title available?)
• scientific article; zbMATH DE number 3494394 (Why is no real title available?)
• scientific article; zbMATH DE number 890268 (Why is no real title available?)
• scientific article; zbMATH DE number 3291134 (Why is no real title available?)
• A jump inversion theorem for the semilattices of \(\Sigma\)-degrees
• Completing theories by forcing
• Degrees of presentability of structures. I
• Degrees of presentability of structures. II
• Effective model theory vs. recursive model theory
• Elementary induction on abstract structures
• First-order dynamic logic
• Generic copies of countable structures
• On processes and structures
• On quasiregular structures with computable signatures
• Processes and structures on approximation spaces
• The theory of A-spaces
• Theory and Applications of Models of Computation

Cited in

(5)

• Interval extensions of orders and temporal approximation spaces
• Computable structures and the hyperarithmetical hierarchy
• scientific article; zbMATH DE number 4154430 (Why is no real title available?)
• Processes and structures on approximation spaces
• On processes and structures

This page was built for publication: Generalized hyperarithmetical computability over structures

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