0 sets and induction (1981)

by J B Paris, A J Wilkie
Venue:in Open Days in Model Theory and Set Theory