TY - JOUR AU - E. I. Bunina AU - V. K. Zakharov TI - A~canonical form for supertransitive standard models in Zermelo--Fraenkel set theory JO - Trudy Matematicheskogo Instituta imeni V.A. Steklova PY - 2003 SP - 782 EP - 783 VL - 58 IS - 4 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/RM_2003_58_4_a6/ LA - en ID - RM_2003_58_4_a6 ER -