Review: Hao Wang, Arithmetic Models for Formal Systems [Book Review]

Journal of Symbolic Logic 20 (1):76-77 (1955)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2268092

Links

PhilArchive



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

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

Four Problems Concerning Recursively Saturated Models of Arithmetic.Roman Kossak - 1995 - Notre Dame Journal of Formal Logic 36 (4):519-530.
The Theory of $\kappa$ -like Models of Arithmetic.Richard Kaye - 1995 - Notre Dame Journal of Formal Logic 36 (4):547-559.
Review: Hao Wang, Arithmetic Translations of Axiom Systems. [REVIEW]Richard Montague - 1956 - Journal of Symbolic Logic 21 (4):402-403.
Review: G. Kreisel, Note on Arithmetic Models for Consistent Formulae of the Predicate Calculus. [REVIEW]Hao Wang - 1953 - Journal of Symbolic Logic 18 (2):180-181.
Review: Th. Skolem, Peano's Axioms and Models of Arithmetic. [REVIEW]Solomon Feferman - 1957 - Journal of Symbolic Logic 22 (3):306-306.
Review: A. Mostowski, On Recursive Models of Formalised Arithmetic. [REVIEW]Solomon Feferman - 1958 - Journal of Symbolic Logic 23 (1):45-46.
Generic cuts in models of arithmetic.Richard Kaye - 2008 - Mathematical Logic Quarterly 54 (2):129-144.
Classical and Intuitionistic Models of Arithmetic.Kai F. Wehmeier - 1996 - Notre Dame Journal of Formal Logic 37 (3):452-461.
Models of arithmetic and upper Bounds for arithmetic sets.Alistair H. Lachlan & Robert I. Soare - 1994 - Journal of Symbolic Logic 59 (3):977-983.
Arithmetic as a study of formal systems.Jonathan P. Seldin - 1975 - Notre Dame Journal of Formal Logic 16 (4):449-464.
Review: J. Barkley Rosser, Hao Wang, Non-Standard Models for Formal Logics. [REVIEW]Th Skolem - 1951 - Journal of Symbolic Logic 16 (2):145-146.
Review: Hao Wang, On Denumerable Bases of Formal Systems. [REVIEW]Clifford Spector - 1957 - Journal of Symbolic Logic 22 (3):292-293.
Unfolding finitist arithmetic.Solomon Feferman & Thomas Strahm - 2010 - Review of Symbolic Logic 3 (4):665-689.
Book review: Richard Kaye. Models of Peano arithmetic. [REVIEW]Lawrence Kiry - 1992 - Notre Dame Journal of Formal Logic 33 (3):461-463.
Indexed Natural Numbers in Mind: A Formal Model of the Basic Mature Number Competence. [REVIEW]Wojciech Krysztofiak - 2012 - Axiomathes 22 (4):433-456.

Analytics

Added to PP
2013-11-22

Downloads
2 (#1,803,862)

6 months
1 (#1,469,946)

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