scientific article; zbMATH DE number 3525107
From MaRDI portal
Publication:4103079
zbMath0336.02027MaRDI QIDQ4103079
Publication date: 1974
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
The Henkin Sentence, Rosser provability and normal modal logics, Arithmetical completeness theorems for monotonic modal logics, Henkin sentences and local reflection principles for Rosser provability, UNIVERSAL ROSSER PREDICATES, SELF-REFERENCE IN ARITHMETIC I, A generalization of the second incompleteness theorem and some exceptions to it, Linear logic, A version of the ∑1-reflection principle for CFA provable in PRA, Frege on sense identity, Some specially formulated axiomizations for \(\mathrm{I}\Sigma _0\) manage to evade the Herbrandized version of the second incompleteness theorem, On paradoxes in normal form, Theory of proofs (arithmetic and analysis), GÖDEL’S SECOND INCOMPLETENESS THEOREM: HOW IT IS DERIVED AND WHAT IT DELIVERS, A NOTE ON DERIVABILITY CONDITIONS, Rosser provability and the second incompleteness theorem, New formally undecidable propositions: Non-trivial lower bounds on proof complexity and related theorems
