On interpretability in set theories. II.
Petr Hájek · Czech digital mathematics library · 1972
This paper is a continuation of 121 and 131 and uses techniques developed in [1].ZF denotes the Zermelo-Fraenkel set theory and GB the Godel-Bernays set theory.We adopt conventions made in [31 § 1 (Preliminaries).GB is a conservative extension of ZF| so we have Con> (ZF, g>) C ) for each ZF-formula <y .Denote by J ZF (Jg,* ) the set of all ZF-formulas