Explicit Henkin sentences

DOI10.2307/2273791zbMATH Open0613.03026OpenAlexW2024400633MaRDI QIDQ3754000FDOQ3754000

Authors: Robert M. Solovay 

Publication date: 1985

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2273791

Recommendations

• The Henkin sentence
• scientific article; zbMATH DE number 1163935
• Existential Horn Sentences
• A remark on Henkin sentences and their contraries
• An optimal construction of Hanf sentences
• scientific article; zbMATH DE number 1329019
• Exhaustive interpretation of complex sentences
• Algebras of sentences
• Gödelian sentences and semantic arguments
• scientific article; zbMATH DE number 1344485

zbMATH Keywords

provabilityself-referential sentencesexplicit description of a proofexplicit Henkin sentence

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Gödel numberings and issues of incompleteness (03F40)

Cites Work

• Solution of a problem of Leon Henkin

Cited In (3)

• The Henkin sentence
• Practical Moore Sentences*
• Self-reference in arithmetic. I

This page was built for publication: Explicit Henkin sentences

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3754000)