| dc.contributor.author | Podnieks, Karlis | |
| dc.date.accessioned | 2013-08-01T08:25:35Z | |
| dc.date.available | 2013-08-02T00:00:03Z | |
| dc.date.issued | 1975 | |
| dc.identifier.citation | Karlis Podnieks. The double-incompleteness theorem. Scientific Proceedings of Latvia State University, 1975, Vol.233, pp.191-200 (in Russian) | en_US |
| dc.identifier.uri | https://dspace.lu.lv/dspace/handle/7/1462 | |
| dc.description.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. | en_US |
| dc.language.iso | rus | en_US |
| dc.publisher | Latvia State University | en_US |
| dc.rights | info:eu-repo/semantics/openAccess | en_US |
| dc.subject | double incompleteness | en_US |
| dc.subject | incompleteness | en_US |
| dc.subject | incompleteness theorem | en_US |
| dc.title | The double-incompleteness theorem | en_US |
| dc.type | Article | en_US |
