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)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

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.
Cardinal arithmetic in the style of Baron Von münchhausen.Albert Visser - 2009 - Review of Symbolic Logic 2 (3):570-589.
Closed fragments of provability logics of constructive theories.Albert Visser - 2008 - Journal of Symbolic Logic 73 (3):1081-1096.
The arithmetic of cuts in models of arithmetic.Richard Kaye - 2013 - Mathematical Logic Quarterly 59 (4-5):332-351.

Analytics

Added to PP
2015-09-03

Downloads
94 (#168,213)

6 months
12 (#122,866)

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.
Non‐Classical Knowledge.Ethan Jerzak - 2017 - Philosophy and Phenomenological Research 98 (1):190-220.

View all 25 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