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

DOI10.2307/2272395zbMATH Open0359.02050OpenAlexW2078603002MaRDI QIDQ4132522FDOQ4132522

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

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

Mathematics Subject Classification ID

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

Cites Work

• Solution of a problem of Leon Henkin
• Title not available (Why is that?)

Cited In (6)

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

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)