Bootstrapping, part I

We construct models of the integers, to yield: witnessing, independence and separation results for weak systems of bounded induction.