scientific article; zbMATH DE number 517088

zbMath0805.03053MaRDI QIDQ4282618

Dan E. Willard

Publication date: 17 March 1994

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

zbMATH Keywords

Peano ArithmeticGödel's Incompleteness TheoremFirst Order axiom systems

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Proof theory and constructive mathematics (03F99)

Related Items (4)

The Axiom System IΣ0 Manages to Simultaneously Obey and Evade the Herbrandized Version of the Second Incompleteness Theorem ⋮ A generalization of the second incompleteness theorem and some exceptions to it ⋮ Some specially formulated axiomizations for \(\mathrm{I}\Sigma _0\) manage to evade the Herbrandized version of the second incompleteness theorem ⋮ 1998 Spring Meeting of the Association for Symbolic Logic

This page was built for publication: