On Godel's Second Incompleteness Theorem

DOI10.2307/2160398zbMath0797.03059arXivmath/9204207OpenAlexW2949961722MaRDI QIDQ4299260

Thomas J. Jech

Publication date: 17 October 1994

Published in: Proceedings of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/math/9204207

zbMATH Keywords

Gödel's Second Incompleteness Theoremmodel of set theory

Mathematics Subject Classification ID

Models of arithmetic and set theory (03C62) Set theory (03E99) Proof theory and constructive mathematics (03F99)

Related Items (3)

The incompleteness theorems after 70 years ⋮ Provability logic: models within models in Peano arithmetic ⋮ CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS

This page was built for publication: On Godel's Second Incompleteness Theorem