The double-incompleteness theorem
Date
1975
Authors
Podnieks, Karlis
Journal Title
Journal ISSN
Volume Title
Publisher
Latvia State University
Abstract
Let T be a theory, Q - a metatheory of T. Under certain conditions there exist T-undecidable sentences for which this undecidability cannot be proved in Q.
For English translation and proof, see K. Podnieks What is mathematics: Godel's theorem and around.
Description
Keywords
double incompleteness , incompleteness , incompleteness theorem
Citation
Karlis Podnieks. The double-incompleteness theorem. Scientific Proceedings of Latvia State University, 1975, Vol.233, pp.191-200 (in Russian)