| Title:
|
O jedné základní větě matematické logiky (Czech) |
| Title:
|
On a fundamental theorem of mathematical logic (English) |
| Author:
|
Rieger, Ladislav |
| Language:
|
Czech |
| Journal:
|
Časopis pro pěstování matematiky |
| ISSN:
|
0528-2195 |
| Volume:
|
80 |
| Issue:
|
2 |
| Year:
|
1955 |
| Pages:
|
217-231 |
| Summary lang:
|
English |
| Summary lang:
|
Russian |
| . |
| Category:
|
math |
| . |
| MSC:
|
02-0X |
| idZBL:
|
Zbl 0068.24210 |
| idMR:
|
MR0087615 |
| DOI:
|
10.21136/CPM.1955.108164 |
| . |
| Date available:
|
2009-09-23T06:39:32Z |
| Last updated:
|
2020-07-28 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/108164 |
| . |
| Reference:
|
[1] A. Tarski: Grundzüge des Systemenkalküls.Fund. Math. 25 (1935), 503-526. Zbl 0012.38501 |
| Reference:
|
[2] A. Tarski: Grundzüge des Systemenkalküls.Fund. Math. 26 (1936), 283-301. Zbl 0014.38701 |
| Reference:
|
[3] L. Rieger: On Free $\kappa_\zeta$-complete Boolean Algebras.Fund. Math. 38 (1951), 35-52. MR 0050561 |
| Reference:
|
[4] A. Robinson: On the Metamathematics of Algebra.Studies in Logic and the Foundations of Mathematics, Amsterdam 1951. Zbl 0043.24702, MR 0046322 |
| Reference:
|
[5] D. Hilbert P. Bernays: Grundlagen der Mathematik, II.Berlin 1939. |
| Reference:
|
[6] L. Henkin: The completeness of the first order functional calculus.Journ. Symb. L., 14 (1949), 42-48. Zbl 0034.00602, MR 0033781 |
| Reference:
|
[7] R. Sikorski: On the representation of Boolean algebras as fields of setsy.Fund. Math. 35 (1948), 247-258. MR 0028374 |
| Reference:
|
[8] H. Rasiowa R. Sikorski: A Proof of the Completeness Theorem of Gödel.Fund. Math. 37 (1950), 193-200. MR 0040232 |
| Reference:
|
[9] D. Hilbert W. Ackermann: Grundzüge der theoretischen Logik.2. vyd. Berlin 1938. |
| Reference:
|
[10] L. Rieger: O algebře predikátového počtu.Litograf. tisk Ústř. mat. ústavu 1951. |
| Reference:
|
[11] A. Mostowski: Logika matematyczna.Monografie matematyczne XVIII, Warszawa 1948. MR 0026972 |
| Reference:
|
[12] A. I. Malcev: Untersuchungen aus dem Gebiete der mathematischen Logik.Matem. Sb. 1, 43 (1936), 323-336. |
| Reference:
|
[13] A. G. Kuroš: Těorija grupp.2. vyd. Moskva 1953. |
| Reference:
|
[14] J. Lós C. Ryll-Nardzewski: On the application of Tychonoff’s theorem in mathematical proofs.Fund. Math. 38 (1951), 233-237. MR 0048795 |
| Reference:
|
[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. |
| . |
