We give alternative proofs of results due to Paris and Wilkie concerning the existence of end extensions of countable models of $B\Sigma_{1}$, that is, the theory of $\Sigma_{1}$ collection.

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