Rubin, Arthur (1978) Free algebras in Von Neumann-Bernays-GÓ§del set theory and positive elementary inductions in reasonable structures (Dissertation (Ph.D)), California Institute of Technology doi: 10.7907/62t8-9b85