Recursive real numbers

DOI10.2307/2271331zbMath0207.31101OpenAlexW2016407984MaRDI QIDQ5608009

Alistair H. Lachlan

Publication date: 1964

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

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

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60)

Related Items (8)

Randomness and reducibility ⋮ Semi-effective numberings and definitions of the computable numbers ⋮ On Turing degrees of Walrasian models and a general impossibility result in the theory of decision-making ⋮ Weakly computable real numbers ⋮ Primitive Recursiveness of Real Numbers under Different Representations ⋮ Point-free topological spaces, functions and recursive points; filter foundation for recursive analysis. I ⋮ Liouville numbers and the computational complexity of changing bases ⋮ Dedekind cuts and long strings of zeros in base expansions

This page was built for publication: Recursive real numbers