A Proof of the (Strengthened) Liar Formula in a Semantical Extension of Peano Arithmetic

Analysis 60 (1):1-4 (2000)
  Copy   BIBTEX

Abstract

In the Tarskian theory of truth, the strengthened liar sentence is a theorem. More generally, any formalized truth theory which proves the full, self-applicative scheme True f will prove the strengthened liar sentence..)

Categories

Keywords

Reprint years

DOI

10.1093/analys/60.1.1

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

A proof of the (strengthened) liar formula in a semantical extension of peano arithmetic.Jeffrey Ketland - 2000 - Analysis 60 (1):1–4.
An Effective Conservation Result for Nonstandard Arithmetic.Erik Palmgren - 2000 - Mathematical Logic Quarterly 46 (1):17-24.
The strength of nonstandard methods in arithmetic.C. Ward Henson, Matt Kaufmann & H. Jerome Keisler - 1984 - Journal of Symbolic Logic 49 (4):1039-1058.
A model of peano arithmetic with no elementary end extension.George Mills - 1978 - Journal of Symbolic Logic 43 (3):563-567.
The shortest definition of a number in Peano arithmetic.Dev K. Roy - 2003 - Mathematical Logic Quarterly 49 (1):83-86.
Arithmetic with Fusions.Jeff Ketland & Thomas Schindler - 2016 - Logique Et Analyse 234:207-226.
Model-theoretic properties characterizing peano arithmetic.Richard Kaye - 1991 - Journal of Symbolic Logic 56 (3):949-963.
Fixed points in Peano arithmetic with ordinals.Gerhard Jäger - 1993 - Annals of Pure and Applied Logic 60 (2):119-132.
On definability in Peano arithmetic.Laszlo Csirmaz - 1979 - Bulletin of the Section of Logic 8 (3):148-152.
A standard model of Peano Arithmetic with no conservative elementary extension.Ali Enayat - 2008 - Annals of Pure and Applied Logic 156 (2):308-318.
Unfolding finitist arithmetic.Solomon Feferman & Thomas Strahm - 2010 - Review of Symbolic Logic 3 (4):665-689.
Uniform self-reference.Raymond M. Smullyan - 1985 - Studia Logica 44 (4):439 - 445.
Minimal truth and interpretability.Martin Fischer - 2009 - Review of Symbolic Logic 2 (4):799-815.
Whither relevant arithmetic?Harvey Friedman & Robert K. Meyer - 1992 - Journal of Symbolic Logic 57 (3):824-831.
Equivalence of F with a sub-theory of peano arithmetic.Andrew Boucher - manuscript

Analytics

Added to PP
2016-02-04

Downloads
34 (#443,903)

6 months
5 (#526,961)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Add more citations

References found in this work

Reflecting on incompleteness.Solomon Feferman - 1991 - Journal of Symbolic Logic 56 (1):1-49.
Models of Peano Arithmetic.Richard Kaye - 1991 - Clarendon Press.
Conservative theories of classical truth.Volker Halbach - 1999 - Studia Logica 62 (3):353-370.

Add more references