Explicit Henkin sentences

Journal of Symbolic Logic 50 (1):91-93 (1985)
  Copy   BIBTEX


Hofstadter has introduced the notion of an explicit Henkin sentence. Roughly speaking, an explicit Henkin sentence not only asserts its own provability, as ordinary Henkin sentences do, but explicitly provides a detailed description of a proof. We provide, in this paper, a precise formalization of Hofstadter's notion and then show that true explicit Henkin sentences exist



    Upload a copy of this work     Papers currently archived: 89,560

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

A Remark on Henkin Sentences and Their Contraries.John P. Burgess - 2003 - Notre Dame Journal of Formal Logic 44 (3):185-188.
Definition and reduction.Edward H. Madden - 1961 - Philosophy of Science 28 (4):390-405.
Measuring inconsistency.Kevin Knight - 2002 - Journal of Philosophical Logic 31 (1):77-98.
Philosophy of science today.Sidney Morgenbesser - 1967 - New York,: Basic Books. Edited by Sidney Morgenbesser.
Partial monotonic protothetics.François Lepage - 2000 - Studia Logica 66 (1):147-163.
Henkin quantifiers and the definability of truth.Tapani Hyttinen & Gabriel Sandu - 2000 - Journal of Philosophical Logic 29 (5):507-527.


Added to PP

29 (#468,109)

6 months
4 (#310,987)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Robert Solovay
University of California, Berkeley

Citations of this work

Self-reference in arithmetic I.Volker Halbach & Albert Visser - 2014 - Review of Symbolic Logic 7 (4):671-691.

Add more citations