8 citations · 17 across the 19 of their papers we have counts for
1 paper · 1 filter
Ali Enayat
In 1950, Novak and Mostowski showed that GB (Gödel-Bernays theory of classes) is conservative over ZF, and therefore by Gödel's second incompleteness theorem the consistency of ZF…