@article{PMFA_2000_45_2_a2,
author = {Sochor, Anton{\'\i}n},
title = {Petr {Vop\v{e}nka} (*16.~5.~1935)},
journal = {Pokroky matematiky, fyziky a astronomie},
pages = {125--134},
year = {2000},
volume = {45},
number = {2},
zbl = {1055.01524},
language = {cs},
url = {http://geodesic.mathdoc.fr/item/PMFA_2000_45_2_a2/}
}
Sochor, Antonín. Petr Vopěnka (*16. 5. 1935). Pokroky matematiky, fyziky a astronomie, Tome 45 (2000) no. 2, pp. 125-134. http://geodesic.mathdoc.fr/item/PMFA_2000_45_2_a2/
[AR] Adámek, J., Rosický, J: Locally Presentable and Accessible Categories. London Mathematical Society, Lecture Notes Series 189, Cambridge University Press 1994, 316 pp. | MR
[C] Cohen, P. J.: The independence of the continuum hypothesis. Proc. Nat. Acad. Sci. U. S. A. 50 (1963), 1143–1148, 52 (1964), 105–110. | MR
[ČSZ] Čuda, K., Sochor, A., Zlatoš, P.: Guide to alternative set theory. Proceedings of the 1$^{\rm st}$ Symposium Mathematics in the alternative set theory, ed. J. Mlček, M. Benešová and B. Vojtášková, JSMF, Bratislava 1989, 41–138.
[G] Gödel, K.: The consistency of the axiom of choice and the generalized continuum hypothesis. Ann. of Math. Studies, No 3, Princeton Univ. Press, Princeton, N. J. (1940).
[H] Hájek, P.: On interpretability in set theories. Comm. Math. Univ. Carolinae 12 (1971), 73–79. | MR
[H1] Hájek, P.: Sets, semisets, models. In (D. Scott, ed.) Axiomatic set theory, AMS 1971, 67–81. | MR
[H2] Hájek, P.: Bibliography of the Prague seminar on foundations of set theory, Part II. Czechoslovak Mathematical Journal 23 (1973), 521–523.
[HH] Hájek, P., Hájková, M.: On interpretability in theories concerning arithmetics. Fund. Math. 76 (1972), 131–137. | MR
[J] Jech, T.: Set Theory. Springer Verlag, Berlin–Heidelberg–New York 1997, 634 pp. | MR | Zbl
[K] Kanamori, A.: The Higher Infinite. Perspectives in Mathematical Logic, Springer Verlag 1994, 536 pp. | MR | Zbl
[R] Rieger, L. S.: O některých základních otázkách matematické logiky. Časopis pro pěstování matematiky 81 (1953), 342–351. | MR