scientific article; zbMATH DE number 3525107

zbMath0336.02027MaRDI QIDQ4103079

Gaisi Takeuti, Georg Kreisel

Publication date: 1974

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Proof theory and constructive mathematics (03F99)

Related Items (17)

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

This page was built for publication: