TY - JOUR AU - E. I. Bunina AU - V. K. Zakharov TI - Formula-inaccessible cardinals and a characterization of all natural models of~Zermelo--Fraenkel set theory JO - Izvestiya. Mathematics PY - 2007 SP - 219 EP - 245 VL - 71 IS - 2 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/IM2_2007_71_2_a0/ LA - en ID - IM2_2007_71_2_a0 ER -