Reducibilities of sets based on constructive functions of a real variable
Osvald Demuth (1988)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
Displaying similar documents to “On computable real functions”
Reducibilities of sets based on constructive functions of a real variable
Comparing sets of the Baire space by means of general recursive operators
Andrea Sorbi (1991)
Fundamenta Mathematicae
Similarity:
A few results on the complexity of classes of identifiable recursive function sets
Reinhard Klette (1982)
Banach Center Publications
Similarity:
On the reducibility of decision problems
A. Janiczak (1954)
Colloquium Mathematicae
Similarity:
Contributions to the theory of definable sets and functions
Andrzej Mostowski (1955)
Fundamenta Mathematicae
Similarity:
On the hierarchies of Δ -real numbers
Xizhong Zheng (2007)
RAIRO - Theoretical Informatics and Applications
Similarity:
A real number is called Δ if its binary expansion corresponds to a Δ -set of natural numbers. Such reals are just the limits of computable sequences of rational numbers and hence also called computably approximable. Depending on how fast the sequences converge, Δ -reals have different levels of effectiveness. This leads to various hierarchies of Δ reals. In this survey paper we summarize several recent developments related...