Extension of an effectively generated class of functions by enumeration
S. Kleene (1958)
Colloquium Mathematicae
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Displaying similar documents to “Deduction-preserving 'Recursive Isomorphisms' between theories”
Extension of an effectively generated class of functions by enumeration
General recursive functionals of finite type and hierarchies of functions
R. O. Gandy (1967)
Annales scientifiques de l'Université de Clermont. Mathématiques
Similarity:
Quantification of number-theoretic functions
S. C. Kleene (1959-1960)
Compositio Mathematica
Similarity:
Good choice sets
J. C. E. Dekker (1966)
Annali della Scuola Normale Superiore di Pisa - Classe di Scienze
Similarity:
Primitive recursive notations for infinitary formulas
Kenneth A. Bowen (1974)
Colloquium Mathematicae
Similarity:
Notation systems and recursive ordered fields
Yiannis N. Moschovakis (1965-1966)
Compositio Mathematica
Similarity:
Comparisons between some generalizations of recursion theory
Carl E. Gordon (1970)
Compositio Mathematica
Similarity:
Recursive metric spaces
Y. Moschovakis (1964)
Fundamenta Mathematicae
Similarity: