About DML-CZ | FAQ | Conditions of Use | Math Archives | Contact Us
  Previous |  Up |  Next

Article

First Page Preview
Korec, Ivan
Beweis des Axioms der Konstruktivität in der Theorie endlicher Mengen. (German) [The proof of axioms of constructivity in the theory of finitr sets]. Časopis pro pěstování matematiky, vol. 93 (1968), issue 3, pp. 260-261
MSC: 02-60 | MR 0249287 | Zbl 0169.30602 | DOI: 10.21136/CPM.1968.117621
References:
[1] Kurt Gödel: The Consistency of the Axiom of Choice \dots . Princeton Univ. Press, 1940. Annals of Math. Studies, No 3. MR 0002514
[2] Petr Vopěnka: Axiome der Theorie endlicher Mengen. Čas. pгo pӗst. matematiky, 89 (1964), 312-317. MR 0186555
Partner of
EuDML logo