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

Other Versions

No versions found

Links

PhilArchive



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

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

Special Issue: Methods for Investigating Self-Referential Truth edited by Volker Halbach Volker Halbach/Editorial Introduction 3.Petr Hájek, Arithmetical Hierarchy Iii, Gerard Allwein & Wendy MacCaull - 2001 - Studia Logica 68:421-422.
Reference in arithmetic.Lavinia Picollo - 2018 - Review of Symbolic Logic 11 (3):573-603.
Albert Visser. Submodels of Kripke models. Archive for mathematical logic, vol. 40 , pp. 277–295.Rosalie Iemhoff - 2002 - Bulletin of Symbolic Logic 8 (3):440-441.
Albert Visser. A course on bimodal provability logic. Annals of pure and applied logic, vol. 73 , pp. 109–142.Franco Montagna - 1997 - Journal of Symbolic Logic 62 (2):686-687.
Review of Volker Halbach, Leon Horsten (eds), Principles of Truth. [REVIEW]Gabriel Uzquiano - 2003 - Notre Dame Philosophical Reviews 2003 (4).
Volker Halbach: Aksjomatyczne teorie prawdy. [REVIEW]Trela Grzegorz - 2014 - Argument: Biannual Philosophical Journal 4 (2):479-480.
Volker Halbach: Axiomatische Wahrheitstheorien. [REVIEW]Jesús Gálvez - 1997 - Philosophischer Literaturanzeiger 50 (4).
Self-Reference Upfront: A Study of Self-Referential Gödel Numberings.Balthasar Grabmayr & Albert Visser - 2023 - Review of Symbolic Logic 16 (2):385-424.

Analytics

Added to PP
2015-09-03

Downloads
121 (#177,464)

6 months
15 (#194,860)

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.

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