Explicit Henkin sentences

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


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

Download options


    Upload a copy of this work     Papers currently archived: 72,743

External links

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

Through your library


Added to PP

25 (#460,880)

6 months
1 (#386,989)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Robert Solovay
University of California, Berkeley

References found in this work

Gödel, Escher, Bach: An Eternal Golden Braid.Jonathan Lieberson - 1980 - Journal of Philosophy 77 (1):45-52.

Add more references

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

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.
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.