Primitive recursive notations for infinitary formulas
Kenneth A. Bowen (1974)
Colloquium Mathematicae
Similarity:
Displaying similar documents to “Extension of an effectively generated class of functions by enumeration”
Primitive recursive notations for infinitary formulas
Comparisons between some generalizations of recursion theory
Carl E. Gordon (1970)
Compositio Mathematica
Similarity:
Deduction-preserving "Recursive Isomorphisms" between theories
Marian Pour-El, Saul Kripke (1967)
Fundamenta Mathematicae
Similarity:
Good choice sets
J. C. E. Dekker (1966)
Annali della Scuola Normale Superiore di Pisa - Classe di Scienze
Similarity:
General recursive functionals of finite type and hierarchies of functions
R. O. Gandy (1967)
Annales scientifiques de l'Université de Clermont. Mathématiques
Similarity:
On primitive recursive real numbers
R. Lehman (1961)
Fundamenta Mathematicae
Similarity:
Recursive objects in all finite types
Andrzej Grzegorczyk (1964)
Fundamenta Mathematicae
Similarity:
Quantification of number-theoretic functions
S. C. Kleene (1959-1960)
Compositio Mathematica
Similarity: