Mullin Albert A.. On a theorem equivalent to Post's fundamental theorem of recursive function theory. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 9 , pp. 203–205 [Book Review]

Journal of Symbolic Logic 36 (2):343-343 (1971)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2270311

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

On A Theorem Equivalent to Post's Fundamental Theorem of Recursive Function Theory.Albert A. Mullin - 1963 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 9 (12-15):203-205.
Review: Albert A. Mullin, On a Theorem Equivalent to Post's Fundamental Theorem of Recursive Function Theory. [REVIEW]H. B. Enderton - 1971 - Journal of Symbolic Logic 36 (2):343-343.
Elementary Relations Between the Fundamental Theorem of Arithmetic, schnirelmann's Classical Theorem, and goldbach's Conjecture.Albert A. Mullin - 1964 - Mathematical Logic Quarterly 10 (13-17):199-201.
On A Theorem Equivalent to Post's Fundamental Theorem of Recursive Function Theory.Albert A. Mullin - 1963 - Mathematical Logic Quarterly 9 (12‐15):203-205.
On a final multiplicative formulation of the fundamental theorem of arithmetic.Albert A. Mullin - 1964 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 10 (9-12):159-161.
Gödel's Second Incompleteness Theorem for General Recursive Arithmetic.William Ryan - 1978 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 24 (25-30):457-459.
A Contribution Toward Computable Number Theory.Albert A. Mullin - 1965 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 11 (2):117-119.
A Normal form Theorem for Recursive Operators in Iterative Combinatory Spaces.D. Skordev - 1978 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 24 (8):115-124.
Elements of Intuitionistic Analysis II the Stone-Weierstrass Theorem and Ascoli's Theorem.H. de Swart - 1976 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 22 (1):501-508.
The Rank Function and Hilbert'S Second ε-Theorem.Pier Luigi Ferrari - 1989 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 35 (4):367-373.
The fundamental theorem of ultraproduct in Pavelka's logic.Mingsheng Ying - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):197-201.
A Modal Logic Analog of Smullyan's Fundamental Theorem.Melvin Fitting - 1973 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 19 (1):1-16.
On A Necessary Condition for the Validity of Goldbach's Conjecture.Albert A. Mullin - 1963 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 9 (10):145-148.
Partial Isomorphism Extension Method and a Represntation Theorem for Post‐Language.Antonio Mario Sette - 1984 - Mathematical Logic Quarterly 30 (19-24):289-293.
Some Remarks on a Theorem of Iraj Kalantari Concerning Convexity and Recursion Theory.R. Downey - 1984 - Mathematical Logic Quarterly 30 (19-24):295-302.

Analytics

Added to PP
2013-11-22

Downloads
17 (#846,424)

6 months
8 (#342,364)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references