Geodesic
A contribution to Gödel's axiomatic set theory, I
Czechoslovak Mathematical Journal, Tome 7 (1957) no. 3, pp. 323-357
Cet article a éte moissonné depuis la source Czech Digital Mathematics Library

Voir la notice de l'article

DOI : 10.21136/CMJ.1957.100254
Classification : 02.00 
@article{10_21136_CMJ_1957_100254,
     author = {Rieger, Ladislav},
     title = {A contribution to {G\"odel's} axiomatic set theory, {I}},
     journal = {Czechoslovak Mathematical Journal},
     pages = {323--357},
     year = {1957},
     volume = {7},
     number = {3},
     doi = {10.21136/CMJ.1957.100254},
     mrnumber = {0099298},
     zbl = {0089.24403},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.21136/CMJ.1957.100254/}
}
TY  - JOUR
AU  - Rieger, Ladislav
TI  - A contribution to Gödel's axiomatic set theory, I
JO  - Czechoslovak Mathematical Journal
PY  - 1957
SP  - 323
EP  - 357
VL  - 7
IS  - 3
UR  - http://geodesic.mathdoc.fr/articles/10.21136/CMJ.1957.100254/
DO  - 10.21136/CMJ.1957.100254
LA  - en
ID  - 10_21136_CMJ_1957_100254
ER  - 
%0 Journal Article
%A Rieger, Ladislav
%T A contribution to Gödel's axiomatic set theory, I
%J Czechoslovak Mathematical Journal
%D 1957
%P 323-357
%V 7
%N 3
%U http://geodesic.mathdoc.fr/articles/10.21136/CMJ.1957.100254/
%R 10.21136/CMJ.1957.100254
%G en
%F 10_21136_CMJ_1957_100254
Rieger, Ladislav. A contribution to Gödel's axiomatic set theory, I. Czechoslovak Mathematical Journal, Tome 7 (1957) no. 3, pp. 323-357. doi: 10.21136/CMJ.1957.100254

[G] K. Gödel: The Consistency of the Axiom of Choice and of the Generalized Continuum Hypothesis with the Axioms of Set Theory. Annals of Mathematical Studies, Princeton 1940, Third Printing 1953.

[T] A. Tarski: Grundzüge des Systemenkalküls I. Fund. Math. XXV (1935), 503-526; II ibid. XXVI (1936), 283-301. | Zbl

[M I] A. Mostowski: Abzählbare Boolsche Körper und ihre Anwendung in der Metamatematik. Fund. Math. XXIX (1937), 34-53.

[М II] А. Mostowski: An undecidable Arithmetical Statement. Fund. Math. XXXIV (1949), 143-164. | DOI | MR | Zbl

[R I] L. Rieger: On the algebra of the lower predicate calculus. Czech: О algebře nižšího predikátového počtu, mimeographed lectures, Matematický ustav, Praha 1951.

[R II] L. Rieger: On countable generalized $\sigma$-algebras, with a new proof of Gödel's completeness theorem. Czech. Math. J., Vol. 1 (76) (1951), 29-40. | MR

[R III] L. Rieger: On Free $\aleph\sb \xi$-complete Boolean Algebras. Fund. Math. XXXVIII (1951), 35-52. | DOI | MR

[Н-В] D. Hilbert P. Bernays: Grundlagen der Mathematik II. Springer, Berlin 1939. | MR

[B] P. Bernays: A system of axiomatic set-theory VI. Journ. of Symb. Log. 13 (1948), 67-79. | DOI | MR | Zbl

[K-M] K. Kuratowski A. Mostowski: Teoria mnogości. Warszawa 1952. | MR

[N] J. v. Neumann: Über eine Widerspruchsfreiheitsfrage in der axiomatischen Mengenlehre. J. f. reine und angew. Math. 160 (1931), 227-241.

[K] K. Kuratowski: Ann. Soc. Pol. de Math. 3 (1924), 146. (After [K-M], p. 233.)

[W-N] Hao Wang R. Mc Naughton: Les systémes axiomatiques de la théorie des ensembles. Paris, Gauthier Villars, 1953. | MR

Cité par Sources :