Logic and Arithmetic

Noûs 15 (4):551-559 (1981)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

ISBN(s)

01982436691

DOI

10.2307/2025886

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,611

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

Model Theory of Algebra and Arithmetic: Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic Held at Karpacz,Poland, September 1-7, 1979.L. Pacholski, Jędrzej Wierzejewski, J. Wierzejewski & A. J. Wilkie - 1980 - Lecture Notes in Mathematics.
Basic Laws of Arithmetic.Gottlob Frege - 1893 - Oxford, U.K.: Oxford University Press. Edited by Philip A. Ebert, Marcus Rossberg & Crispin Wright.
On interpretations of bounded arithmetic and bounded set theory.Richard Pettigrew - 2009 - Notre Dame Journal of Formal Logic 50 (2):141-152.
A Second Philosophy of Arithmetic.Penelope Maddy - 2014 - Review of Symbolic Logic 7 (2):222-249.
The basic laws of arithmetic.Gottlob Frege - 1893 - Berkeley,: University of California Press. Edited by Montgomery Furth.
The arithmetic of cuts in models of arithmetic.Richard Kaye - 2013 - Mathematical Logic Quarterly 59 (4-5):332-351.
Symbolic Logic and the Real Number System an Introduction to the Foundations of Number Systems / A.H. Lightstone.A. H. Lightstone - 1966 - Harper & Row John Weatherhill.
Formal Methods: An Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and Logic.Evert Willem Beth - 2012 - Dordrecht, Netherland: Springer Verlag.
The development of arithmetic in Frege's Grundgesetze der Arithmetik.Richard Heck - 1993 - Journal of Symbolic Logic 58 (2):579-601.
Interpreting classical theories in constructive ones.Jeremy Avigad - 2000 - Journal of Symbolic Logic 65 (4):1785-1812.
Mathematical roots of phenomenology: Husserl and the concept of number.Mirja Hartimo - 2006 - History and Philosophy of Logic 27 (4):319-337.
An Effective Conservation Result for Nonstandard Arithmetic.Erik Palmgren - 2000 - Mathematical Logic Quarterly 46 (1):17-24.
Quantum Mathematics.J. Michael Dunn - 1980 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1980:512 - 531.
Models of arithmetic and upper Bounds for arithmetic sets.Alistair H. Lachlan & Robert I. Soare - 1994 - Journal of Symbolic Logic 59 (3):977-983.

Analytics

Added to PP
2015-02-02

Downloads
20 (#773,462)

6 months
8 (#373,162)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Aggregate theory versus set theory.Hartley Slater - 2003 - Erkenntnis 59 (2):189 - 202.
Reflections on Frege’s Theory of Real Numbers†.Peter Roeper - 2020 - Philosophia Mathematica 28 (2):236-257.

View all 7 citations / Add more citations

References found in this work

No references found.

Add more references