Geodesic
On countable generalised $\sigma$-algebras, with a new proof of Gödel's completeness theorem
Czechoslovak Mathematical Journal, Tome 1 (1951) no. 1, pp. 29-40
Cet article a éte moissonné depuis la source Czech Digital Mathematics Library

Voir la notice de l'article

DOI : 10.21136/CMJ.1951.100012
Classification : 09.1X 
@article{10_21136_CMJ_1951_100012,
     author = {Rieger, Ladislav},
     title = {On countable generalised $\sigma$-algebras, with a new proof of {G\"odel's} completeness theorem},
     journal = {Czechoslovak Mathematical Journal},
     pages = {29--40},
     year = {1951},
     volume = {1},
     number = {1},
     doi = {10.21136/CMJ.1951.100012},
     mrnumber = {0050560},
     zbl = {0045.15002},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.21136/CMJ.1951.100012/}
}
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
SP  - 29
EP  - 40
VL  - 1
IS  - 1
UR  - http://geodesic.mathdoc.fr/articles/10.21136/CMJ.1951.100012/
DO  - 10.21136/CMJ.1951.100012
LA  - en
ID  - 10_21136_CMJ_1951_100012
ER  - 
%0 Journal Article
%A Rieger, Ladislav
%T On countable generalised $\sigma$-algebras, with a new proof of Gödel's completeness theorem
%J Czechoslovak Mathematical Journal
%D 1951
%P 29-40
%V 1
%N 1
%U http://geodesic.mathdoc.fr/articles/10.21136/CMJ.1951.100012/
%R 10.21136/CMJ.1951.100012
%G en
%F 10_21136_CMJ_1951_100012
Rieger, Ladislav. On countable generalised $\sigma$-algebras, with a new proof of Gödel's completeness theorem. Czechoslovak Mathematical Journal, Tome 1 (1951) no. 1, pp. 29-40. doi: 10.21136/CMJ.1951.100012

[1] G. Birkhoff: Lattice Theory. Am. Math. Soc. Coll. Publ. XXV. Sec. Ed. 1948. | Zbl

[2] K. Gödel: Die Vollständigkeit der Axiome des logischen Funktionenkalküls. Mh. Math. Ph. 37 (1930).

[3] D. Hilbert W. Ackermann: Grundzüge der theoretischen Logik. Grundl. d. math. Wiss. XXVII Springer, Zw. A. 1938.

[4] D. Hilbert P. Bernays: Grundlagen der Mathematik. Bd. II, Springer 1939.

[5] L. Henkin: A proof of completeness for the first order functional calculus. J. Symb. L. 14, (1949), 159-166. | DOI | MR

[6] H. L. Loomis: On the representation of $\sigma$-complete Boolean algebras. Bull. Am. Math. Soc. 53 (1947), 757-760. | DOI | MR | Zbl

[7] H. Mac Neille: Extensions of partially ordered sets. Proc. Nat. Ac. USA, 22 (1936), 45-50. | DOI

[8] A. Mostowski: Logika matematyczna. Monografie mat., Warszawa, 1948. | MR

[9] A. Mostowski: Abzählbare Boolesche Körper und ihre Anwendung in der Metamathematik. Fund. Math. 29 (1937), 34-53.

[10] L. Rieger: On $\aleph\sb \xi$-complete free Boolean Algebras. (With an application to logic.) (To appear in Fund. Math. 1951.) | MR

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

Cité par Sources :