Geodesic
O jedné základní větě matematické logiky
Časopis pro pěstování matematiky, Tome 80 (1955) no. 2, pp. 217-231

Voir la notice de l'article provenant de la source Czech Digital Mathematics Library

DOI MR   Zbl

DOI : 10.21136/CPM.1955.108164
Classification : 02-0X 
Rieger, Ladislav. O jedné základní větě matematické logiky. Časopis pro pěstování matematiky, Tome 80 (1955) no. 2, pp. 217-231. doi: 10.21136/CPM.1955.108164
@article{10_21136_CPM_1955_108164,
     author = {Rieger, Ladislav},
     title = {O jedn\'e z\'akladn{\'\i} v\v{e}t\v{e} matematick\'e logiky},
     journal = {\v{C}asopis pro p\v{e}stov\'an{\'\i} matematiky},
     pages = {217--231},
     year = {1955},
     volume = {80},
     number = {2},
     doi = {10.21136/CPM.1955.108164},
     mrnumber = {0087615},
     zbl = {0068.24210},
     language = {cs},
     url = {http://geodesic.mathdoc.fr/articles/10.21136/CPM.1955.108164/}
}
TY  - JOUR
AU  - Rieger, Ladislav
TI  - O jedné základní větě matematické logiky
JO  - Časopis pro pěstování matematiky
PY  - 1955
SP  - 217
EP  - 231
VL  - 80
IS  - 2
UR  - http://geodesic.mathdoc.fr/articles/10.21136/CPM.1955.108164/
DO  - 10.21136/CPM.1955.108164
LA  - cs
ID  - 10_21136_CPM_1955_108164
ER  - 
%0 Journal Article
%A Rieger, Ladislav
%T O jedné základní větě matematické logiky
%J Časopis pro pěstování matematiky
%D 1955
%P 217-231
%V 80
%N 2
%U http://geodesic.mathdoc.fr/articles/10.21136/CPM.1955.108164/
%R 10.21136/CPM.1955.108164
%G cs
%F 10_21136_CPM_1955_108164

[1] A. Tarski: Grundzüge des Systemenkalküls. Fund. Math. 25 (1935), 503-526. | Zbl

[2] A. Tarski: Grundzüge des Systemenkalküls. Fund. Math. 26 (1936), 283-301. | Zbl

[3] L. Rieger: On Free $\kappa_\zeta$-complete Boolean Algebras. Fund. Math. 38 (1951), 35-52. | MR

[4] A. Robinson: On the Metamathematics of Algebra. Studies in Logic and the Foundations of Mathematics, Amsterdam 1951. | MR | Zbl

[5] D. Hilbert P. Bernays: Grundlagen der Mathematik, II. Berlin 1939.

[6] L. Henkin: The completeness of the first order functional calculus. Journ. Symb. L., 14 (1949), 42-48. | MR | Zbl

[7] R. Sikorski: On the representation of Boolean algebras as fields of setsy. Fund. Math. 35 (1948), 247-258. | MR

[8] H. Rasiowa R. Sikorski: A Proof of the Completeness Theorem of Gödel. Fund. Math. 37 (1950), 193-200. | MR

[9] D. Hilbert W. Ackermann: Grundzüge der theoretischen Logik. 2. vyd. Berlin 1938.

[10] L. Rieger: O algebře predikátového počtu. Litograf. tisk Ústř. mat. ústavu 1951.

[11] A. Mostowski: Logika matematyczna. Monografie matematyczne XVIII, Warszawa 1948. | MR

[12] A. I. Malcev: Untersuchungen aus dem Gebiete der mathematischen Logik. Matem. Sb. 1, 43 (1936), 323-336.

[13] A. G. Kuroš: Těorija grupp. 2. vyd. Moskva 1953.

[14] J. Lós C. Ryll-Nardzewski: On the application of Tychonoff’s theorem in mathematical proofs. Fund. Math. 38 (1951), 233-237. | MR

[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.

Cité par Sources :