Lecture Notes in Computer Science, 2001, Volume 2108/2001, 586-595, DOI: 10.1007/3-540-44679-6_65

Weakly Computable Real Numbers and Total Computable Real Functions
Extended Abstract

Robert Rettinger1, Xizhong Zheng, Romain Gengler and Burchard von Braunmühl

View Related Documents

Abstract

Let C sc and C wc be classes of the semi-computable and weakly computable real numbers, respectively, which are discussed by Weihrauch and Zheng 12. In this paper we show that both C sc and C wc are not closed under the total computable real functions of finite length on some closed interval, although such functions map always a semi-computable real numbers to a weakly computable one. On the other hand, their closures under general total computable real functions are the same and are in fact an algebraic field. This field can also be characterized by the limits of computable sequences of rational numbers with some special converging properties.

Fulltext Preview

Image of the first page of the fulltext document