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

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