Mathematical Logic and Formal Arithmetic: Key Definitions and Principles

Amazon Digital Services LLC (2016)
  Copy   BIBTEX

Abstract

This books states, as clearly and concisely as possible, the most fundamental principles of set-theory and mathematical logic. Included is an original proof of the incompleteness of formal logic. Also included are clear and rigorous definitions of the primary arithmetical operations, as well as clear expositions of the arithmetic of transfinite cardinals.

Categories

Keywords

Reprint years

Links

PhilArchive



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

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

On interpretations of bounded arithmetic and bounded set theory.Richard Pettigrew - 2009 - Notre Dame Journal of Formal Logic 50 (2):141-152.
On the completeness of a certain system of arithmetic of whole numbers in which addition occurs as the only operation.Mojżesz Presburger & Dale Jabcquette - 1991 - History and Philosophy of Logic 12 (2):225-233.
Basic Principles of Mathematical Logic.John-Michael Kuczynski - 2016 - Amazon Digital Services LLC.
Inductive definitions over a predicative arithmetic.Stanley S. Wainer & Richard S. Williams - 2005 - Annals of Pure and Applied Logic 136 (1-2):175-188.
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.
An Effective Conservation Result for Nonstandard Arithmetic.Erik Palmgren - 2000 - Mathematical Logic Quarterly 46 (1):17-24.
Logic and Arithmetic.David Bostock - 1981 - Noûs 15 (4):551-559.
Papers on Formal Logic.John-Michael Kuczynski - 2016 - reateSpace Independent Publishing Platform.
Basic Laws of Arithmetic.Gottlob Frege - 1893 - Oxford, U.K.: Oxford University Press. Edited by Philip A. Ebert, Marcus Rossberg & Crispin Wright.
Quantum Mathematics.J. Michael Dunn - 1980 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1980:512 - 531.
In defense of epistemic arithmetic.Leon Horsten - 1998 - Synthese 116 (1):1-25.
Basic Predicate Calculus.Wim Ruitenburg - 1998 - Notre Dame Journal of Formal Logic 39 (1):18-46.
The arithmetic of cuts in models of arithmetic.Richard Kaye - 2013 - Mathematical Logic Quarterly 59 (4-5):332-351.
Carnapian Modal and Epistemic Arithmetic.Heylen Jan - 2009 - In Carrara Massimiliano & Morato Vittorio (eds.), Language, Knowledge, and Metaphysics. Selected papers from the First SIFA Graduate Conference. College Publications. pp. 97-121.
Notes on logic and set theory.P. T. Johnstone - 1987 - New York: Cambridge University Press.

Analytics

Added to PP
2016-07-11

Downloads
29 (#553,499)

6 months
5 (#647,370)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

John-Michael Kuczynski
University of California, Santa Barbara (PhD)

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references