Search
Now showing items 11-12 of 12
The double-incompleteness theorem
(Latvia State University, 1975)
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 ...
Comparing various types of limiting synthesis and prediction of functions
(Latvia State University, 1974)