On countable generalised -algebras, with a new proof of Gödel’s completeness theorem
Czechoslovak Mathematical Journal (1951)
- Volume: 01, Issue: 1, page 29-40
- ISSN: 0011-4642
Access Full Article
topHow to cite
topRieger, Ladislav. "On countable generalised $\sigma $-algebras, with a new proof of Gödel’s completeness theorem." Czechoslovak Mathematical Journal 01.1 (1951): 29-40. <http://eudml.org/doc/11683>.
@article{Rieger1951,
author = {Rieger, Ladislav},
journal = {Czechoslovak Mathematical Journal},
keywords = {logic},
language = {eng},
number = {1},
pages = {29-40},
publisher = {Institute of Mathematics, Academy of Sciences of the Czech Republic},
title = {On countable generalised $\sigma $-algebras, with a new proof of Gödel’s completeness theorem},
url = {http://eudml.org/doc/11683},
volume = {01},
year = {1951},
}
TY - JOUR
AU - Rieger, Ladislav
TI - On countable generalised $\sigma $-algebras, with a new proof of Gödel’s completeness theorem
JO - Czechoslovak Mathematical Journal
PY - 1951
PB - Institute of Mathematics, Academy of Sciences of the Czech Republic
VL - 01
IS - 1
SP - 29
EP - 40
LA - eng
KW - logic
UR - http://eudml.org/doc/11683
ER -
References
top- G. Birkhoff, Lattice Theory, , Am. Math. Soc. Coll. Publ. XXV. Sec. Ed. 1948. (1948) Zbl0033.10103
- K. Gödel, Die Vollständigkeit der Axiome des logischen Funktionenkalküls, Mh. Math. Ph. 37 (1930). (1930)
- D. Hilbert W. Ackermann, Grundzüge der theoretischen Logik, Grundl. d. math. Wiss. XXVII Springer, Zw. A. 1938. (1938)
- D. Hilbert P. Bernays, Grundlagen der Mathematik, Bd. II, Springer 1939. (1939)
- L. Henkin, 10.2307/2267044, J. Symb. L. 14, (1949), 159-166. (1949) MR0033781DOI10.2307/2267044
- H. L. Loomis, 10.1090/S0002-9904-1947-08866-2, Bull. Am. Math. Soc. 53 (1947), 757-760. (1947) Zbl0033.01103MR0021084DOI10.1090/S0002-9904-1947-08866-2
- H. Mac Neille, 10.1073/pnas.22.1.45, Proc. Nat. Ac. USA, 22 (1936), 45-50. (1936) DOI10.1073/pnas.22.1.45
- A. Mostowski, Logika matematyczna, Monografie mat., Warszawa, 1948. (1948) MR0026972
- A. Mostowski, Abzählbare Boolesche Körper und ihre Anwendung in der Metamathematik, Fund. Math. 29 (1937), 34-53. (1937)
- L. Rieger, On -complete free Boolean Algebras, (With an application to logic.) (To appear in Fund. Math. 1951.) (1951) MR0050561
- R. Sikorski, 10.4064/fm-35-1-247-258, Fund. Math. 35 (1948), 247-258. (1948) Zbl0035.01704MR0028374DOI10.4064/fm-35-1-247-258
Citations in EuDML Documents
topNotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.