Ackermann’s set theory equals ZF (1970)

by W Reinhardt
Venue:Annals of Mathematical Logic