A simplification of the completeness proofs for Guaspari and Solovay's R

DOI10.1305/ndjfl/1093635332zbMath0712.03010OpenAlexW2008911115MaRDI QIDQ923070

Frans Voorbraak

Publication date: 1990

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093635332

zbMATH Keywords

provability logicarithmetical completenessGuaspari and Solovay's modal logic RKripke model completenesstail modelswitness comparison

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) First-order arithmetic and fragments (03F30) Gödel numberings and issues of incompleteness (03F40)

Related Items

Uniform density in Lindenbaum algebras, SELF-REFERENCE IN ARITHMETIC II