Hostname: page-component-78c5997874-94fs2 Total loading time: 0 Render date: 2024-11-17T14:56:51.872Z Has data issue: false hasContentIssue false
  • English
  • Français

Existentially closed structures and Gödel's second incompleteness theorem

Published online by Cambridge University Press:  12 March 2014

Zofia Adamowicz  and
Teresa Bigorajska
Zofia Adamowicz
Affiliation:
Institute of Mathematics of the Polish Academy of Sciences, Šniadeckich 8, 00-950 Warszawa, Poland, E-mail: [email protected]
Teresa Bigorajska
Affiliation:
Faculty of Mathematics, Cardinal Stefan Wyszyński University, Dewajtis 5, 01-815 Warszawa, Poland, E-mail: [email protected]
Get access Rights & Permissions [Opens in a new window]

Abstract

We 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.

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 66 , Issue 1 , March 2001 , pp. 349 - 356
Copyright
Copyright © Association for Symbolic Logic 2001

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[1]Adamowicz, Z. and Zbierski, P., Logic of mathematics, John Wiley & Sons, 1997.CrossRefGoogle Scholar
[2]Boolos, G., A new proof of the Gödel incompleteness theorem, Notices of the American Mathematical Society, vol. 36 (1989), pp. 388–390.Google Scholar
[3]Cieślinski, C., Gödels incompleteness theorems and semantical antinomies, Ph.D. thesis, Warsaw University, 1999.Google Scholar
[4]Dimtrakopoulos, K., Overspill and fragments of arithmetic, Archive of Mathematical Logic, vol. 28 (1989), pp. 173–179.CrossRefGoogle Scholar
[5]Hodges, W., Model theory, Encyclopedia of Mathematics an its Applications, no. 42, Cambridge University press, 1993.CrossRefGoogle Scholar
[6]Jech, T., On Gödel second incompleteness theorem, Proceedings of the American Mathematical Society, vol. 121 (1994), no. 1, pp. 311–313.Google Scholar
[7]Kikuchi, M., A note on boolos' proof of the incompleteness theorem, Mathematical Logic Quaterly, vol. 40 (1994), pp. 528–532.CrossRefGoogle Scholar
[8]Kikuchi, M., Kolmogorov complexity and the second incompleteness theorem, Archive of Mathematical Logic, vol. 36 (1997), pp. 437–443.CrossRefGoogle Scholar
[9]Kotlarski, H., On the incompleteness theorems, this Journal, vol. 59 (1994), no. 4, pp. 1414–1419.Google Scholar
[10]Kotlarski, H., An addition to rosser's theorem, this Journal, vol. 61 (1996), pp. 285–292.Google Scholar
[11]Kotlarski, H., Other proofs of old results, Mathematical Logic Quarterly, vol. 44 (1998), pp. 474–480.CrossRefGoogle Scholar
[12]Smorynski, C., The incompleteness theorem, (J. Barwise, editor), Handbook of Mathematical Logic, North Holland Publishing Company, Amsterdam, 1977, pp. 821–865.CrossRefGoogle Scholar
[13]Vopenka, P., A new proof of the Gödel's result of non-provability of consistency, L'Académie Polonaise des Sciences. Bulletin. Série des Sciences Mathématiques, vol. 14 (1966), pp. 111–116.Google Scholar