Self-reference in arithmetic I

&
Review of Symbolic Logic 7 (4):671-691 (2014)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/s1755020314000288

Links

PhilArchive



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

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

Self-reference in arithmetic II.Volker Halbach & Albert Visser - 2014 - Review of Symbolic Logic 7 (4):692-712.
Uniform self-reference.Raymond M. Smullyan - 1985 - Studia Logica 44 (4):439 - 445.
Self-reference and the languages of arithmetic.Richard Heck - 2007 - Philosophia Mathematica 15 (1):1-29.
Classical arithmetic as part of intuitionistic arithmetic.Michael Potter - 1998 - Grazer Philosophische Studien 55 (1):127-41.
Equivalence of F with a sub-theory of peano arithmetic.Andrew Boucher - manuscript
Cardinal arithmetic in the style of Baron Von münchhausen.Albert Visser - 2009 - Review of Symbolic Logic 2 (3):570-589.
Models of arithmetic and upper Bounds for arithmetic sets.Alistair H. Lachlan & Robert I. Soare - 1994 - Journal of Symbolic Logic 59 (3):977-983.
The provability logics of recursively enumerable theories extending peano arithmetic at arbitrary theories extending peano arithmetic.Albert Visser - 1984 - Journal of Philosophical Logic 13 (1):97 - 113.
Closed fragments of provability logics of constructive theories.Albert Visser - 2008 - Journal of Symbolic Logic 73 (3):1081-1096.
Frege's context principle and reference to natural numbers.Øystein Linnebo - 2009 - In Sten Lindström (ed.), Logicism, Intuitionism, and Formalism: What Has Become of Them. Springer.
General arithmetic.Andrew Boucher - manuscript
The arithmetic of cuts in models of arithmetic.Richard Kaye - 2013 - Mathematical Logic Quarterly 59 (4-5):332-351.
The Philosophy of Arithmetic as Developed From the Three Fundamental Processes of Synthesis, Analysis and Comparison, Containing Also a History of Arithmetic.Edward Brooks - 1880 - Normal Pub. Co.
Arabic Arithmetic. The Arithmetic of Abū al-Wafā\??\ al-Būzajānī MSS. Or. 103 Leiden & 42 M Cairo\??\ and The Arithmetic of al-Karajī , MS 855 Istanbul by A. S. Saidan. [REVIEW]David King - 1973 - Isis 64:123-125.
The strength of nonstandard methods in arithmetic.C. Ward Henson, Matt Kaufmann & H. Jerome Keisler - 1984 - Journal of Symbolic Logic 49 (4):1039-1058.

Analytics

Added to PP
2015-09-03

Downloads
98 (#170,449)

6 months
14 (#151,397)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Citations of this work

Gödel’s Theorem and Direct Self-Reference.Saul A. Kripke - 2023 - Review of Symbolic Logic 16 (2):650-654.
Reference in arithmetic.Lavinia Picollo - 2018 - Review of Symbolic Logic 11 (3):573-603.
Reference and Truth.Lavinia Picollo - 2020 - Journal of Philosophical Logic 49 (3):439-474.

View all 26 citations / Add more citations

References found in this work

Paradox without Self-Reference.Stephen Yablo - 1993 - Analysis 53 (4):251-252.
An Inquiry into Meaning and Truth.Bertrand Russell - 1940 - Les Etudes Philosophiques 18 (2):233-233.
Solution of a problem of Leon Henkin.M. H. Löb - 1955 - Journal of Symbolic Logic 20 (2):115-118.
Yablo's paradox.Graham Priest - 1997 - Analysis 57 (4):236-242.
Maximal consistent sets of instances of Tarski’s schema.Vann McGee - 1992 - Journal of Philosophical Logic 21 (3):235 - 241.

View all 17 references / Add more references