A contribution to Gödel's axiomatic set theory, I
Czechoslovak Mathematical Journal (1957)
- Volume: 07, Issue: 3, page 323-357
- ISSN: 0011-4642
Access Full Article
topHow to cite
topRieger, Ladislav. "A contribution to Gödel's axiomatic set theory, I." Czechoslovak Mathematical Journal 07.3 (1957): 323-357. <http://eudml.org/doc/11888>.
@article{Rieger1957,
author = {Rieger, Ladislav},
journal = {Czechoslovak Mathematical Journal},
keywords = {foundations of mathematics, philosophy, logic},
language = {eng},
number = {3},
pages = {323-357},
publisher = {Institute of Mathematics, Academy of Sciences of the Czech Republic},
title = {A contribution to Gödel's axiomatic set theory, I},
url = {http://eudml.org/doc/11888},
volume = {07},
year = {1957},
}
TY - JOUR
AU - Rieger, Ladislav
TI - A contribution to Gödel's axiomatic set theory, I
JO - Czechoslovak Mathematical Journal
PY - 1957
PB - Institute of Mathematics, Academy of Sciences of the Czech Republic
VL - 07
IS - 3
SP - 323
EP - 357
LA - eng
KW - foundations of mathematics, philosophy, logic
UR - http://eudml.org/doc/11888
ER -
References
top- 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. (1940)
- A. Tarski, Grundzüge des Systemenkalküls I, Fund. Math. XXV (1935), 503-526; II ibid. XXVI (1936), 283-301. (1935) Zbl0012.38501
- A. Mostowski, Abzählbare Boolsche Körper und ihre Anwendung in der Metamatematik, Fund. Math. XXIX (1937), 34-53. (1937)
- А. Mostowski, 10.4064/fm-36-1-143-164, Fund. Math. XXXIV (1949), 143-164. (1949) Zbl0039.00802MR0035721DOI10.4064/fm-36-1-143-164
- 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. (1951)
- L. Rieger, On countable generalized -algebras, with a new proof of Gödel’s completeness theorem, Czech. Math. J., Vol. 1 (76) (1951), 29-40. (1951) MR0050560
- L. Rieger, 10.4064/fm-38-1-35-52, Fund. Math. XXXVIII (1951), 35-52. (1951) MR0050561DOI10.4064/fm-38-1-35-52
- D. Hilbert P. Bernays, Grundlagen der Mathematik II, Springer, Berlin 1939. (1939) MR0272596
- P. Bernays, 10.2307/2267328, Journ. of Symb. Log. 13 (1948), 67-79. (1948) Zbl0030.11502MR0025421DOI10.2307/2267328
- K. Kuratowski A. Mostowski, Teoria mnogości, Warszawa 1952. (1952) MR0054684
- J. v. Neumann, Über eine Widerspruchsfreiheitsfrage in der axiomatischen Mengenlehre, J. f. reine und angew. Math. 160 (1931), 227-241. (1931)
- K. Kuratowski, [unknown], Ann. Soc. Pol. de Math. 3 (1924), 146. (After [K-M], p. 233.) (1924)
- Hao Wang R. Mc Naughton, Les systémes axiomatiques de la théorie des ensembles, Paris, Gauthier Villars, 1953. (1953) MR0059213
Citations in EuDML Documents
top- Marco Forti, Furio Honsell, Set theory with free construction principles
- Petr Vopěnka, Независимостъ континуум - гипотезы
- Ennio De Giorgi, Marco Forti, Una teoria-quadro per i fondamenti della matematica
- Ennio De Giorgi, Marco Forti, Una teoria-quadro per i fondamenti della matematica
- Ladislav Rieger, A contribution to Gödel's axiomatic set theory, II: Basic notions and application of the theory of dyadic rings of the set theoretical type
NotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.