Displaying similar documents to “Recursion theoretic operators and morphisms on numbered sets”

Good choice sets

J. C. E. Dekker (1966)

Annali della Scuola Normale Superiore di Pisa - Classe di Scienze

Similarity:

Hierarchies of function classes defined by the first-value operator

Armin Hemmerling (2008)

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications

Similarity:

The first-value operator assigns to any sequence of partial functions of the same type a new such function. Its domain is the union of the domains of the sequence functions, and its value at any point is just the value of the first function in the sequence which is defined at that point. In this paper, the first-value operator is applied to establish hierarchies of classes of functions under various settings. For effective sequences of computable discrete functions, we obtain a hierarchy...