TY  - JOUR
AU  - Petr Vopěnka
TI  - A method of constructing a non-standard model in the Bernays-G\"odel axiomatic set theory
JO  - Doklady Akademii Nauk
PY  - 1962
SP  - 11
EP  - 12
VL  - 143
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/DAN_1962_143_1_a1/
LA  - ru
ID  - DAN_1962_143_1_a1
ER  -