A general principle for purely model-theoretical proofs of Gödel's second incompleteness theorem
type: Item
instance of: scholarly article
zbMATH Open document ID: 0981.03059
DOI: 10.12775/LLP.1998.009
author: Dirk Ullrich
published in: Logic and Logical Philosophy
publication date: 2002-03-11T00:00:00Z
Mathematics Subject Classification ID: 03F30
Mathematics Subject Classification ID: 03C62
zbMATH DE Number: 1623539
zbMATH Keywords: arithmetized completenes theorem
zbMATH Keywords: second incompleteness theorem
MaRDI profile type: Publication
title: A general principle for purely model-theoretical proofs of Gödel's second incompleteness theorem
review text: The paper gives an almost self-contained and highly readable presentation of a (slightly more general) version of Kreisel's model-theoretic proof of Gödel's second incompleteness theorem. A general ``Model Chain Lemma'' is extracted from Kreisel's proof. The lemma can be used for other proofs of Gödel's theorem, however, no examples are given.
reviewed by: Roman Kossak
description: scientific article; zbMATH DE number 1623539