John Lake Relative Consistency of an Extension of Ackermann's Set Theory. 465-466 1976 41 J. Symb. Log. 2 db/journals/jsyml/jsyml41.html#Lake76