|
|||||
|
|
 -bounding and  -induction |
|
| Authors: | Theodore A Slaman |
| Institution: | Department of Mathematics, University of California Berkeley, Berkeley, California 94720-3840 |
| Abstract: | Working in the base theory of  , we show that for all  , the bounding principle for  -formulas (  ) is equivalent to the induction principle for  -formulas (  ). This partially answers a question of J. Paris. |
| Keywords: | $\Sigma_n$-bounding $\Delta_n$-induction |
| 点击此处可从《Proceedings of the American Mathematical Society》浏览原始摘要信息 | |
| 点击此处可从《Proceedings of the American Mathematical Society》下载免费的PDF全文 | |