Bounded induction

If M is a model of /Ao and a £ M , then the set BP[a] = {x £ M : x < an,n £ N} is an initial segment closed under + and •, and so it is a model o f /A 0.

Parikh in 1971 (see [35]) focused attention on / Ao by proving the following result.