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.
Displaying similar documents to “Undecidable and creative theories”
Quantification of number-theoretic functions
Arithmetization of metamathematics in a general setting
S. Feferman (1960)
Fundamenta Mathematicae
Similarity:
Deduction-preserving "Recursive Isomorphisms" between theories
Marian Pour-El, Saul Kripke (1967)
Fundamenta Mathematicae
Similarity:
A decidable -categorical theory with a non-recursive Ryll-Nardzewski function
James Schmerl (1978)
Fundamenta Mathematicae
Similarity:
Concerning definable sets
N. Routledge (1955)
Fundamenta Mathematicae
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 the reducibility of decision problems
A. Janiczak (1954)
Colloquium Mathematicae
Similarity:
A nonstandard approach to arithmetic.
JOSÉ F. PRIDA (1999)
Revista de la Real Academia de Ciencias Exactas Físicas y Naturales
Similarity:
Failure of completeness properties of intuitionistic predicate logic for constructive models
Daniel Leivant (1976)
Annales scientifiques de l'Université de Clermont. Mathématiques
Similarity: