Sentences implying their own provability
From MaRDI portal
Publication:3338237
DOI10.2307/2273471zbMath0547.03035OpenAlexW2048666982MaRDI QIDQ3338237
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
Related Items
A short note on essentially \(\Sigma_1\) sentences ⋮ On the complexity of arithmetical interpretations of modal formulae ⋮ Rosser and Mostowski sentences ⋮ The logic of \(\Pi_ 1\)-conservativity continued ⋮ The logic of arithmetical hierarchy
Cites Work