On deciding the truth of certain statements involving the notion of consistency

DOI10.2307/2272395MaRDI QIDQ4132522zbMATH OpenOpenAlexFDO

Authors George Boolos

Publication date 1977

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

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

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) General logic (03B99)

Recommendations

• A note of provability, truth and existence
• The concept of truth in a finite universe
• Propositional proof systems, the consistency of first order theories and the complexity of computations
• Constructive truth and falsity in Peano arithmetic
• The consistency of arithmetic

Cites work

• scientific article; zbMATH DE number 3467029 (Why is no real title available?)
• Solution of a problem of Leon Henkin

Cited in

(6)

• In Memoriam: George Stephen Boolos 1940–1996
• Provability: The emergence of a mathematical modality
• Calculating self-referential statements. I: Explicit calculations
• On the consistency of consistent conjectures
• Anderson and Belnap's invitation to sin
• On the truth-conduciveness of coherence

This page was built for publication: On deciding the truth of certain statements involving the notion of consistency

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