A reduction in the number of primitive ideas of arithmetic

Journal of Symbolic Logic 15 (2):130 (1950)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2266972

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,448

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

Myhill John R.. A reduction in the number of primitive ideas of arithmetic. [REVIEW]Paul Bernays - 1951 - Journal of Symbolic Logic 16 (1):74-74.
Myhill John. Arithmetic with creative definitions by induction.Gert H. Müller - 1957 - Journal of Symbolic Logic 22 (3):303-304.
Myhill John R.. Note on an idea of Fitch.Paul Bernays - 1950 - Journal of Symbolic Logic 14 (4):260-261.
Myhill John R.. A complete theory of natural, rational, and real numbers. [REVIEW]W. V. Quine - 1951 - Journal of Symbolic Logic 16 (1):65-67.
Myhill John. A derivation of number theory from ancestral theory.William Craig - 1953 - Journal of Symbolic Logic 18 (1):77-77.
Myhill John R.. Symposium: On the ontological significance of the Löwenheim-Skolem theorem. Academic freedom, logic, and religion , University of Pennsylvania Press, Philadelphia 1953, pp. 57–70. [REVIEW]A. R. Turquette - 1955 - Journal of Symbolic Logic 20 (1):64-64.
Review: John Myhill, A Finitary Metalanguage for Extended Basic Logic. [REVIEW]Burton Dreben - 1955 - Journal of Symbolic Logic 20 (1):81-81.
Myhill John. Some philosophical implications of mathematical logic. I Three classes of ideas. The review of metaphysics, vol. 6 no. 2 , pp. 165–198.Benes Vaclav Edvard. On some alleged implications of mathematical logic. Philosophical studies, vol. 4 , pp. 56–58.Myhill John. Retort to Mr. Benes. Philosophical studies, vol. 5 , pp. 47–48. [REVIEW]Hugues Leblanc - 1957 - Journal of Symbolic Logic 22 (3):314-316.
Myhill John. Towards a consistent set-theory. [REVIEW]W. V. Quine - 1951 - Journal of Symbolic Logic 16 (4):273-273.

Analytics

Added to PP
2009-01-28

Downloads
49 (#441,615)

6 months
14 (#216,207)

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

Definability and decision problems in arithmetic.Julia Robinson - 1949 - Journal of Symbolic Logic 14 (2):98-114.

Add more references