A general principle for purely model-theoretical proofs of Gödel’s second incompleteness theorem

DOI10.12775/LLP.1998.009zbMath0981.03059MaRDI QIDQ2732301

Dirk Ullrich

Publication date: 11 March 2002

Published in: Logic and Logical Philosophy (Search for Journal in Brave)

zbMATH Keywords

second incompleteness theoremarithmetized completenes theorem

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Models of arithmetic and set theory (03C62)

This page was built for publication: A general principle for purely model-theoretical proofs of Gödel’s second incompleteness theorem