Quantification of number-theoretic functions
S. C. Kleene (1959-1960)
Compositio Mathematica
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.
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 “Limiting recursion and the arithmetic hierarchy”
Quantification of number-theoretic functions
Notation systems and recursive ordered fields
Yiannis N. Moschovakis (1965-1966)
Compositio Mathematica
Similarity:
Recursiveness of initial segments of Kleene's O
Carl Jockusch (1975)
Fundamenta Mathematicae
Similarity:
A nonstandard approach to arithmetic.
JOSÉ F. PRIDA (1999)
Revista de la Real Academia de Ciencias Exactas Físicas y Naturales
Similarity:
Recursive families of sets
S. Mrówka (1957)
Fundamenta Mathematicae
Similarity:
Recursive metric spaces
Y. Moschovakis (1964)
Fundamenta Mathematicae
Similarity:
Computable analysis
Stanisław Mazur
Similarity:
CONTENTS Foreword.......................................................................................... 3 I. Recursive and computable numbers...................................... 4 1. Recursive numbers................................................................... 5 2. Computable numbers............................................................... 17 II. Recursive and computable sequences................................. 22 III. Recursive and computable functionals....................................
Extended primitive recursive functions
P. Mentrasti, M. Protasi (1982)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity: