0 sets and induction, inOpenDays in Model Theory and Set (1981)

by J B Paris, A J Wilkie