The axiomatization of arithmetic

Journal of Symbolic Logic 22 (2):145-158 (1957)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2964176

Other Versions

No versions found

Links

PhilArchive



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

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

Wang Hao. The axiomatization of arithmetic.Roger Martin - 1962 - Journal of Symbolic Logic 27 (1):77-78.
The optimality of induction as an axiomatization of arithmetic.Daniel Leivant - 1983 - Journal of Symbolic Logic 48 (1):182-184.
Husserl on axiomatization and arithmetic.Claire Ortiz Hill - 2010 - In Mirja Hartimo (ed.), Phenomenology and mathematics. London: Springer. pp. 47–71.
Systems for a foundation of arithmetic.Andrew Boucher - manuscript
Axiomatizations of arithmetic and the first-order/second-order divide.Catarina Dutilh Novaes - 2019 - Synthese 196 (7):2583-2597.
Neo-fregeanism naturalized: The role of one-to-one correspondence in numerical cognition.Lieven Decock - 2008 - Behavioral and Brain Sciences 31 (6):648-649.
Review: Hao Wang, Arithmetic Models for Formal Systems. [REVIEW]Solomon Feferman - 1955 - Journal of Symbolic Logic 20 (1):76-77.
Review: Hao Wang, Arithmetic Translations of Axiom Systems. [REVIEW]Richard Montague - 1956 - Journal of Symbolic Logic 21 (4):402-403.
Wang Hao. Arithmetic models for formal systems. Methodos, vol. 3 , pp. 217–232.Solomon Feferman - 1955 - Journal of Symbolic Logic 20 (1):76-77.
Wang Hao. Arithmetic translations of axiom systems. Transactions of the American Mathematical Society, vol. 71 , pp. 283–293. [REVIEW]Richard Montague - 1956 - Journal of Symbolic Logic 21 (4):402-403.

Analytics

Added to PP
2009-01-28

Downloads
273 (#98,384)

6 months
16 (#183,409)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Hao Wang
University of Amsterdam

Citations of this work

Frege, Kant, and the logic in logicism.John MacFarlane - 2002 - Philosophical Review 111 (1):25-65.
Epistemic logicism & Russell's regressive method.A. D. Irvine - 1989 - Philosophical Studies 55 (3):303 - 327.
Frege and the rigorization of analysis.William Demopoulos - 1994 - Journal of Philosophical Logic 23 (3):225 - 245.

View all 16 citations / Add more citations

References found in this work

The Principles of Mathematics.Bertrand Russell - 1903 - Revue de Métaphysique et de Morale 11 (4):11-12.

Add more references