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

DOI10.2307/2272395zbMath0359.02050OpenAlexW2078603002MaRDI QIDQ4132522

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)

Related Items

Anderson and Belnap's invitation to sin, Provability: The emergence of a mathematical modality, Calculating self-referential statements. I: Explicit calculations, In Memoriam: George Stephen Boolos 1940–1996

Cites Work

• Unnamed Item
• Solution of a problem of Leon Henkin