| Title:
|
A contribution to Gödel's axiomatic set theory, I (English) |
| Author:
|
Rieger, Ladislav |
| Language:
|
English |
| Journal:
|
Czechoslovak Mathematical Journal |
| ISSN:
|
0011-4642 (print) |
| ISSN:
|
1572-9141 (online) |
| Volume:
|
7 |
| Issue:
|
3 |
| Year:
|
1957 |
| Pages:
|
323-357 |
| Summary lang:
|
Russian |
| . |
| Category:
|
math |
| . |
| MSC:
|
02.00 |
| idZBL:
|
Zbl 0089.24403 |
| idMR:
|
MR0099298 |
| DOI:
|
10.21136/CMJ.1957.100254 |
| . |
| Date available:
|
2008-06-09T12:54:48Z |
| Last updated:
|
2020-07-28 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/100254 |
| . |
| Reference:
|
[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. |
| Reference:
|
[T] A. Tarski: Grundzüge des Systemenkalküls I.Fund. Math. XXV (1935), 503-526; II ibid. XXVI (1936), 283-301. Zbl 0012.38501 |
| Reference:
|
[M I] A. Mostowski: Abzählbare Boolsche Körper und ihre Anwendung in der Metamatematik.Fund. Math. XXIX (1937), 34-53. |
| Reference:
|
[М II] А. Mostowski: An undecidable Arithmetical Statement.Fund. Math. XXXIV (1949), 143-164. Zbl 0039.00802, MR 0035721, 10.4064/fm-36-1-143-164 |
| Reference:
|
[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. |
| Reference:
|
[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 0050560 |
| Reference:
|
[R III] L. Rieger: On Free $\aleph\sb \xi$-complete Boolean Algebras.Fund. Math. XXXVIII (1951), 35-52. MR 0050561, 10.4064/fm-38-1-35-52 |
| Reference:
|
[Н-В] D. Hilbert P. Bernays: Grundlagen der Mathematik II.Springer, Berlin 1939. MR 0272596 |
| Reference:
|
[B] P. Bernays: A system of axiomatic set-theory VI..Journ. of Symb. Log. 13 (1948), 67-79. Zbl 0030.11502, MR 0025421, 10.2307/2267328 |
| Reference:
|
[K-M] K. Kuratowski A. Mostowski: Teoria mnogości.Warszawa 1952. MR 0054684 |
| Reference:
|
[N] J. v. Neumann: Über eine Widerspruchsfreiheitsfrage in der axiomatischen Mengenlehre.J. f. reine und angew. Math. 160 (1931), 227-241. |
| Reference:
|
[K] K. Kuratowski: .Ann. Soc. Pol. de Math. 3 (1924), 146. (After [K-M], p. 233.) |
| Reference:
|
[W-N] Hao Wang R. Mc Naughton: Les systémes axiomatiques de la théorie des ensembles.Paris, Gauthier Villars, 1953. MR 0059213 |
| . |
