Natural models of ackermann's set theory

In 1956 W. Ackermann proposed a new axiomatic set theory, that has received some attention in recent years. (See references [3], [4], [6], [7], and [9].) This theory distinguishes between sets and classes. In this paper we study mainly the natural models of this theory. We show, among other results, that the set-theoretical fragment of these models are also models of Zermelo-Fraenkel set theory. This result gives a partial answer to the question, raised by A. Levy, of the relative strength of Ackermann's set theory with respect of Zermelo-Fraenkel's.2