Formula2-computable real numbers
Dimiter G. Skordev, Andreas Weiermann, Ivan Georgiev · Journal of Logic and Computation · 2010
The article concerns subrecursive computability of real numbers. Certain significant real numbers are shown to be M2-computable, and the set of the M2-computable real numbers is shown to be closed under the elementary functions of calculus.