Monotonically Computable Real Numbers

Robert Rettinger, Xizhong Zheng, Romain Gengler, Burchard von Braunmühl. Monotonically Computable Real Numbers. In Cristian S. Calude, Michael J. Dinneen, Silviu Sburlan, editors, Combinatorics, Computability and Logic, Proceedings of the Third International Conference on Combinatorics, Computability and Logic, DMTCS 20Ol, Constanta, Romania. Discrete mathematics and theoretical computer science, pages 187-201, Springer, 2001. [doi]

Abstract

Abstract is missing.