Criteria of constructibility for real numbers

DOI10.2307/2266321MaRDI QIDQ5824361zbMATH OpenOpenAlexFDO

Authors John Myhill

Publication date 1953

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

Full work available at URL https://doi.org/10.2307/2266321

zbMATH Keywords

foundations of mathematics, philosophy, logic

Cited in

(11)

• Classification of computably approximable real numbers
• Computational complexity of real functions
• Bibliography of John Myhill
• Point-free topological spaces, functions and recursive points; filter foundation for recursive analysis. I
• PCF extended with real numbers
• Note on a system of myhill
• Primitive recursiveness of real numbers under different representations
• Classification of the computable approximations by divergence boundings
• Computability of Real Numbers
• On the hierarchies of Δ₂⁰-real numbers
• Probabilistic Recursive Functions

This page was built for publication: Criteria of constructibility for real numbers

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