|
|||||
|
|
 -bounding and  -induction |
|
| Authors: | Theodore A. Slaman |
| Affiliation: | 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》下载全文 | |