Goodstein R. L.. Logic-free formalisations of recursive arithmetic. Mathematica Scandinavica, Bd. 2 , S. 247–261

Journal of Symbolic Logic 24 (3):245-246 (1959)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2963833

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,225

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

Goodstein R. L.. Recursive number theory. A development of recursive arithmetic in a logic-free equation calculus. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam 1957, XII + 190 pp. [REVIEW]Th Skolem - 1958 - Journal of Symbolic Logic 23 (2):227-228.
H. A. Pogorzelski. Recursive arithmetic of Skolem. Mathematica Scandinavica, vol. 11 , pp. 33–36. - H. A. Pogorzelski. Recursive arithmetic of Skolem II. Mathematica Scandinavica, vol. 11 , pp. 156–160. [REVIEW]R. L. Goodstein - 1964 - Journal of Symbolic Logic 29 (2):101-102.
Logic-free Formalisations of Recursive Arithmetic.R. L. Goodstein - 1959 - Journal of Symbolic Logic 24 (3):245-246.
Péter Rózsa. Probleme der Hilbertschen Theorie der höheren Stufen von rekursiven Funktionen. German with Russian abstract. Acta mathematica Academiae Scientiarum Hungaricae, vol. 2 , pp. 247–274. [REVIEW]Raphael M. Robinson - 1953 - Journal of Symbolic Logic 18 (3):263-264.
Goodstein R. L.. The recursive irrationality of π.A. Nerode - 1960 - Journal of Symbolic Logic 25 (2):166-167.
R. L. Goodstein and R. D. Lee. A decidable class of equations in recursive arithmetic. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 12 , pp. 235–239. [REVIEW]V. Vuckovic - 1969 - Journal of Symbolic Logic 33 (4):618-619.
Hanf William. On some fundamental problems concerning isomorphism of Boolean algebras. Mathematica Scandinavica, Bd. 5 , S. 205–217. [REVIEW]H. Gericke - 1959 - Journal of Symbolic Logic 24 (3):251-251.
Goodstein R. L.. Transfinite ordinals in recursive number theory.David Nelson - 1948 - Journal of Symbolic Logic 13 (3):171-171.

Analytics

Added to PP
2013-11-22

Downloads
43 (#518,085)

6 months
19 (#152,900)

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