Review: Th. Skolem, Peano's Axioms and Models of Arithmetic [Book Review]

Journal of Symbolic Logic 22 (3):306-306 (1957)
  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: 93,296

External links

  • This entry has no external links. Add one.
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

Skolem Th.. Peano's axioms and models of arithmetic. Mathematical Interpretation of formal systems, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1955, pp. 1–14. [REVIEW]Solomon Feferman - 1957 - Journal of Symbolic Logic 22 (3):306-306.
Review: Th. Skolem, Recursive Arithmetic. [REVIEW]Oiva Ketonen - 1948 - Journal of Symbolic Logic 13 (3):169-170.
Review: Th. Skolem, The Logical Background of Arithmetic. [REVIEW]H. G. Rice - 1958 - Journal of Symbolic Logic 23 (2):228-228.
Review: Solomon Feferman, J. N. Crossley, A Language and Axioms for Explicit Mathematics; Solomon Feferman, Maurice Boffa, Dirk van Dalen, Kenneth McAloon, Constructive Theories of Functions and Classes. [REVIEW]G. R. Renardel de Lavalette & A. S. Troelstra - 1984 - Journal of Symbolic Logic 49 (1):308-311.
Review: Ulrich Felgner, Comparison of the Axioms of Local and Universal Choice; Andrzej Mostowski, Models of Second Order Arithmetic with Definable Skolem Functions. [REVIEW]S. G. Simpson - 1973 - Journal of Symbolic Logic 38 (4):652-653.
Review: Th. Skolem, Some Considerations Concerning Recursive Arithmetic. [REVIEW]H. G. Rice - 1958 - Journal of Symbolic Logic 23 (2):228-228.
Review: L. A. S. Kirby, J. B. Paris, A. Lachlan, M. Srebrny, A. Zarach, Initial Segments of Models of Peano's Axioms; J. B. Paris, Some Independence Results for Peano Arithmetic. [REVIEW]Stephen G. Simpson - 1983 - Journal of Symbolic Logic 48 (2):482-483.
Models and Types of Peano's Arithmetic.Haim Gaifman, Julia F. Knight, Fred G. Abramson & Leo A. Harrington - 1983 - Journal of Symbolic Logic 48 (2):484-485.
Review: Solomon Feferman, Foundational Ways; Solomon Feferman, Working Foundations. [REVIEW]Maria Dalla Chiara - 1992 - Journal of Symbolic Logic 57 (4):1478-1479.
Review: Solomon Feferman, Foundational Ways; Solomon Feferman, Working Foundations. [REVIEW]Maria Luisa Dalla Chiara - 1992 - Journal of Symbolic Logic 57 (4):1478-1479.

Analytics

Added to PP
2013-11-22

Downloads
1 (#1,913,683)

6 months
1 (#1,516,603)

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references