On a fundamental theorem of mathematical logic

Ladislav Rieger

Časopis pro pěstování matematiky (1955)

  • Volume: 080, Issue: 2, page 217-231
  • ISSN: 0528-2195

How to cite

top

Rieger, Ladislav. "O jedné základní větě matematické logiky." Časopis pro pěstování matematiky 080.2 (1955): 217-231. <http://eudml.org/doc/18994>.

@article{Rieger1955,
author = {Rieger, Ladislav},
journal = {Časopis pro pěstování matematiky},
keywords = {Philosophy and foundations of mathematics},
language = {cze},
number = {2},
pages = {217-231},
publisher = {Mathematical Institute of the Czechoslovak Academy of Sciences},
title = {O jedné základní větě matematické logiky},
url = {http://eudml.org/doc/18994},
volume = {080},
year = {1955},
}

TY - JOUR
AU - Rieger, Ladislav
TI - O jedné základní větě matematické logiky
JO - Časopis pro pěstování matematiky
PY - 1955
PB - Mathematical Institute of the Czechoslovak Academy of Sciences
VL - 080
IS - 2
SP - 217
EP - 231
LA - cze
KW - Philosophy and foundations of mathematics
UR - http://eudml.org/doc/18994
ER -

References

top
  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 κ ζ -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 σ -algebrach i novom dokazatěl’stve těoremy Gedel’a o polnotě, Čechosl. mat. ž. 1, 76 (1951), 33-49. (1951) 

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.