Sentences implying their own provability

DOI10.2307/2273471MaRDI QIDQ3338237zbMATH OpenOpenAlexFDO

Authors David Guaspari

Publication date 1983

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

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

zbMATH Keywords

formulas of Peano ArithmeticGödel numberingprovabilityself-prover

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

Recommendations

• Self-reference in arithmetic. I
• Self provers and \(\Sigma_{1}\) sentences
• On Godel Sentences and What They Say
• Self-reference in arithmetic. II
• Self-reference and modal logic

Cites work

• Calculating self-referential statements. I: Explicit calculations
• Provability interpretations of modal logic
• Rosser sentences

Cited in

(10)

• Proving self-utterances
• Rosser and Mostowski sentences
• The logic of \(\Pi_ 1\)-conservativity continued
• The logic of arithmetical hierarchy
• A short note on essentially \(\Sigma_1\) sentences
• Self provers and \(\Sigma_{1}\) sentences
• scientific article; zbMATH DE number 517075 (Why is no real title available?)
• Self-reference in arithmetic. I
• Self-reference in arithmetic. II
• On the complexity of arithmetical interpretations of modal formulae

This page was built for publication: Sentences implying their own provability

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