TY - JOUR AU - Hájek, Petr TI - On interpretability in set theories. II. JO - Commentationes Mathematicae Universitatis Carolinae PY - 1972 SP - 445 EP - 455 VL - 13 IS - 3 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/CMUC_1972__13_3_a4/ LA - en ID - CMUC_1972__13_3_a4 ER -