Author:
Adamowicz Zofia,Bigorajska Teresa
Abstract
AbstractWe prove that any 1-closed (see def 1.1) model of the Π2 consequences of PA satisfies ¬Cons PA which gives a proof of the second Gödel incompleteness theorem without the use of the Gödel diagonal lemma. We prove a few other theorems by the same method.
Publisher
Cambridge University Press (CUP)
Reference13 articles.
1. A new proof of the Gödel's result of non-provability of consistency;Vopenka;L'Académie Polonaise des Sciences. Bulletin. Série des Sciences Mathématiques,1966
2. Kolmogorov complexity and the second incompleteness theorem
3. A Note on Boolos' Proof of the Incompleteness Theorem
Cited by
20 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献