Albert A. Mullin. On a necessary condition for the validity of Goldbach's conjecture. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 9 , pp. 145–148 [Book Review]

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

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2270312

Links

PhilArchive



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

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 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.
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.
A Contribution Toward Computable Number Theory.Albert A. Mullin - 1965 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 11 (2):117-119.
On A Necessary Condition for the Validity of Goldbach's Conjecture.Albert A. Mullin - 1963 - Mathematical Logic Quarterly 9 (10):145-148.
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.
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. [REVIEW]H. B. Enderton - 1971 - Journal of Symbolic Logic 36 (2):343-343.
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.
Harrop Ronald. On the recursivity of finite sets. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 , pp. 136–140.Hořejš Jiří. Note on definition of recursiveness. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 10 , pp. 119–120. [REVIEW]Charles Parsons - 1968 - Journal of Symbolic Logic 33 (1):115-115.
Marian Boykan Pour-El and Hilary Putnam. Recursively enumerable classes and their application to recursive sequences of formal theories. Archiv für mathematische Logik und Grundlagenforschung, vol. 8 no. 3–4 , pp. 104–121. - Marian Boykan Pour-El and William A. Howard. A structural criterion for recursive enumeration without repetition. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 10 , pp. 105–114. - A. H. Lachlan. On recursive enumeration without repetition. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 11 , pp. 209–220. - A. H. Lachlan. On recursive enumeration without repetition: a correction. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 13 , pp. 99–100. [REVIEW]James C. Owings - 1973 - Journal of Symbolic Logic 38 (1):155-156.
Vopěnka Petr. Odin metod postroéniá néstandartnoj modéli aksiomatičéskoj téorii množéstv Bérnajsa Gédélá . Doklady Akadémii Nauk SSSR, vol. 143 , pp. 11–12.Vopěnka Petr. Postroénié modéléj téorii množéstv métodom spéktra . Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 9 , pp. 149–160.Vopěnka Petr. Eléméntarnyé pondtiá v téorii množéstv . Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 9 , pp. 161–167.Vopěnka Petr. Postroénié néstandartnoj nérégulárnoj modéli téorii množéstv . Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 9 , pp. 229–233.Vopěnka Petr. Podmodéli modéléj téorii množéstv . Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 10 , pp. 163–172. [REVIEW]Andrzej Mostowski - 1970 - Journal of Symbolic Logic 35 (3):470-472.
Some Remarks on a Relative Anti‐Closure Property.A. A. Mullin - 1961 - Mathematical Logic Quarterly 7 (7-10):99-103.
Elliott Mendelson. A semantic proof of the eliminability of descriptions. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 6 , pp. 199–200. - T. G. McLaughlin. A muted variation on a theme of Mendelson. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 , pp. 57–60. [REVIEW]John Bacon - 1973 - Journal of Symbolic Logic 38 (4):660.
Péter Rósza. Zum Beitrag von F. Schwenkel “Rekursive Wortfunktionen uber unendlichen Alphabeten.” Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 11 , pp. 377–378.Schwenkel F.. Entgegnung. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 11 , pp. 379–380. [REVIEW]Alonzo Church - 1975 - Journal of Symbolic Logic 40 (4):622-622.
Akira Nakamura. A remark on the truth-value stipulation for the modal system M′. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 13 , pp. 11–14. - Akira Nakamura. On an axiomatic system of modal logic. Zeitschrift für mathematische Logik und Grundlagen der Mathematik vol. 14 , pp. 61–66. - R. A. Bull. On a paper of Akira Nakamura. Zeitschrift für mathematische Logik und Grundlagen der Mathematik vol. 15 , pp. 155–156. [REVIEW]M. K. Rennie - 1974 - Journal of Symbolic Logic 39 (2):351-351.
Bull R. A.. A note on the modal calculi S4.2 and S4.3. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 10 , pp. 53–55.Bull R. A.. A class of extensions of the modal system S4 with the finite model property. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 11 , pp. 127–132.Bull R. A.. That all normal extensions of S4.3 have the finite model property. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 12 , pp. 341–344. [REVIEW]David Makinson - 1968 - Journal of Symbolic Logic 33 (1):136-136.

Analytics

Added to PP
2013-11-22

Downloads
7 (#1,372,193)

6 months
2 (#1,214,131)

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