Processes and structures on approximation spaces

DOI10.1007/S10469-017-9426-9MaRDI QIDQ2401545zbMATH 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-9426-9

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) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)

Recommendations

• On processes and structures
• Generalized hyperarithmetical computability over structures
• The approximation structure of a computably approximable real
• scientific article; zbMATH DE number 1344955
• On approximate and algebraic computability over the real numbers

Cites work

• 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 5049507 (Why is no real title available?)
• A certain reducibility on admissible sets
• A jump inversion theorem for the semilattices of \(\Sigma\)-degrees
• Degrees of presentability of structures. I
• Degrees of presentability of structures. II
• Generalized hyperarithmetical computability over structures
• On processes and structures
• The jump operation for structure degrees

Cited in

(7)

• Generalized hyperarithmetical computability over structures
• scientific article; zbMATH DE number 1857708 (Why is no real title available?)
• scientific article; zbMATH DE number 3193227 (Why is no real title available?)
• Relative randomness and real closed fields
• On processes and structures
• scientific article; zbMATH DE number 3979851 (Why is no real title available?)
• Projections and regularity of abstract processes

This page was built for publication: Processes and structures on approximation spaces

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