On a fundamental theorem of mathematical logic

 Access to full text

 Full (PDF)

1. A. Tarski, Grundzüge des Systemenkalküls, Fund. Math. 25 (1935), 503-526. (1935) Zbl0012.38501
2. A. Tarski, Grundzüge des Systemenkalküls, Fund. Math. 26 (1936), 283-301. (1936) Zbl0014.38701
3. L. Rieger, On Free ${\kappa }_{\zeta }$-complete Boolean Algebras, Fund. Math. 38 (1951), 35-52. (1951) MR0050561
4. A. Robinson, On the Metamathematics of Algebra, Studies in Logic and the Foundations of Mathematics, Amsterdam 1951. (1951) Zbl0043.24702MR0046322
5. D. Hilbert P. Bernays, Grundlagen der Mathematik, II, Berlin 1939. (1939) 
6. L. Henkin, The completeness of the first order functional calculus, Journ. Symb. L., 14 (1949), 42-48. (1949) Zbl0034.00602MR0033781
7. R. Sikorski, On the representation of Boolean algebras as fields of setsy, Fund. Math. 35 (1948), 247-258. (1948) MR0028374
8. H. Rasiowa R. Sikorski, A Proof of the Completeness Theorem of Gödel, Fund. Math. 37 (1950), 193-200. (1950) MR0040232
9. D. Hilbert W. Ackermann, Grundzüge der theoretischen Logik, 2. vyd. Berlin 1938. (1938) 
10. L. Rieger, O algebře predikátového počtu, Litograf. tisk Ústř. mat. ústavu 1951. (1951) 
11. A. Mostowski, Logika matematyczna, Monografie matematyczne XVIII, Warszawa 1948. (1948) MR0026972
12. A. I. Malcev, Untersuchungen aus dem Gebiete der mathematischen Logik, Matem. Sb. 1, 43 (1936), 323-336. (1936) 
13. A. G. Kuroš, Těorija grupp, 2. vyd. Moskva 1953. (1953) 
14. J. Lós C. Ryll-Nardzewski, On the application of Tychonoff’s theorem in mathematical proofs, Fund. Math. 38 (1951), 233-237. (1951) MR0048795
15. L. Rieger, O sčetnych obobščennych $\sigma$-algebrach i novom dokazatěl’stve těoremy Gedel’a o polnotě, Čechosl. mat. ž. 1, 76 (1951), 33-49. (1951)