Primitive recursive notations for infinitary formulas
Kenneth A. Bowen (1974)
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.
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 “Proof of the quadratic reciprocity law in primitive recursive arithmetic.”
Primitive recursive notations for infinitary formulas
Recursive Arithmetic of Skolem II.
H.A. Pogorzelski (1962)
Mathematica Scandinavica
Similarity:
Extension of an effectively generated class of functions by enumeration
S. Kleene (1958)
Colloquium Mathematicae
Similarity:
Recursive Arithmetic of Skolem.
H.A. Pogorzelski (1962)
Mathematica Scandinavica
Similarity:
Ternary Recursive Arithmetic.
H.E. Rose (1962)
Mathematica Scandinavica
Similarity:
Comparisons between some generalizations of recursion theory
Carl E. Gordon (1970)
Compositio Mathematica
Similarity:
A direct proof of Gödel's incompleteness theorem.
José F. Prida (1986)
Collectanea Mathematica
Similarity:
Deduction-preserving "Recursive Isomorphisms" between theories
Marian Pour-El, Saul Kripke (1967)
Fundamenta Mathematicae
Similarity:
Permutation in recursive arithmetic
R.L. GOODSTEIN (1953)
Mathematica Scandinavica
Similarity:
Primitive recursive categories and machines
Yves Lafont (1989)
Diagrammes
Similarity:
On primitive recursive real numbers
R. Lehman (1961)
Fundamenta Mathematicae
Similarity: