6 n-Bounding and 1 n-Induction

  title={6 n-Bounding and 1 n-Induction},
  author={Theodore A. Slaman},
Working in the base theory of PA − + I60 + exp, we show that for all n ∈ ω, the bounding principle for6n-formulas (B6n) is equivalent to the induction principle for 1n-formulas (I1n). This partially answers a question of J. Paris; see Clote and Kraj́ ıček(1993).