The finite cohesiveness principle

Abstract

We investigate the logical strength of the cohesiveness principle when restricted to finite sequences of sets, denoted by fin-COH, over different base theories. Our main result shows that fin-COH entails $I\Sigma_1^0$ over the weaker base theory $RCA_0^*$, thereby answering a question posed by Fiori-Carones, Ko{\l}odziejczyk and Kowalik. In addition, we show that fin-COH is not provable over $WKL_0$.