Highly Influenced

# 6 n-Bounding and 1 n-Induction

@inproceedings{Slaman20036NA, title={6 n-Bounding and 1 n-Induction}, author={Theodore A. Slaman}, year={2003} }

- Published 2003

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).