Review: Albert A. Mullin, On a Theorem Equivalent to Post's Fundamental Theorem of Recursive Function Theory [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

Links

PhilArchive



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

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 - Mathematical Logic Quarterly 9 (12‐15):203-205.
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 final multiplicative formulation of the fundamental theorem of arithmetic.Albert A. Mullin - 1964 - Mathematical Logic Quarterly 10 (9‐12):159-161.
Mathematico-philosophical remarks on new theorems analogous to the fundamental theorem of arithmetic.Albert A. Mullin - 1965 - Notre Dame Journal of Formal Logic 6 (3):218-222.
The road to two theorems of logic.William Craig - 2008 - Synthese 164 (3):333 - 339.
An isolic generalization of Cauchy's theorem for finite groups.J. C. E. Dekker - 1990 - Archive for Mathematical Logic 29 (4):231-236.
Restricted versions of the Tukey-Teichmüller theorem that are equivalent to the Boolean prime ideal theorem.R. E. Hodel - 2005 - Archive for Mathematical Logic 44 (4):459-472.
Ramsey's Theorem for Pairs and Provably Recursive Functions.Alexander Kreuzer & Ulrich Kohlenbach - 2009 - Notre Dame Journal of Formal Logic 50 (4):427-444.
The Pointwise Ergodic Theorem in Subsystems of Second-Order Arithmetic.Ksenija Simic - 2007 - Journal of Symbolic Logic 72 (1):45 - 66.
On the Strength of Ramsey's Theorem.David Seetapun & Theodore A. Slaman - 1995 - Notre Dame Journal of Formal Logic 36 (4):570-582.
Menger’s theorem in \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\Pi^11\tt{-CA}0}}$$\end{document}. [REVIEW]Paul Shafer - 2012 - Archive for Mathematical Logic 51 (3-4):407-423.
Power-like models of set theory.Ali Enayat - 2001 - Journal of Symbolic Logic 66 (4):1766-1782.
What was Fisher’s fundamental theorem of natural selection and what was it for?Anya Plutynski - 2005 - Studies in History and Philosophy of Science Part C: Studies in History and Philosophy of Biological and Biomedical Sciences 37 (1):59-82.
The Fan Theorem and Unique Existence of Maxima.Josef Berger, Douglas Bridges & Peter Schuster - 2006 - Journal of Symbolic Logic 71 (2):713 - 720.
Van Lambalgen's Theorem and High Degrees.Johanna N. Y. Franklin & Frank Stephan - 2011 - Notre Dame Journal of Formal Logic 52 (2):173-185.

Analytics

Added to PP
2013-11-22

Downloads
6 (#1,353,689)

6 months
1 (#1,346,405)

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