Formula2-computable real numbers
From MaRDI portal
Publication:2907063
DOI10.1093/logcom/exq050zbMath1260.03088MaRDI QIDQ2907063
Andreas Weiermann, Ivan Georgiev, Dimiter Skordev
Publication date: 5 September 2012
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/logcom/exq050
computable real number; computable real-valued function; elementary functions of calculus; subrecursive; \(\Delta_0\)-definable
03D78: Computation over the reals, computable analysis
Related Items
Dedekind cuts and long strings of zeros in base expansions, Computable irrational numbers with representations of surprising complexity, On subrecursive complexity of integration, Continued fractions of primitive recursive real numbers, On a Relative Computability Notion for Real Functions