On some subtheories of strong dependent choice

In this paper, we give characterizations of the set of ${\mathrm{\Pi }}_e^1$-consequences, ${\mathrm{\Sigma }}_e^1$-consequences and $\mathsf{B}({\mathrm{\Pi }}_e^1)$-consequences of the axiomatic system of the strong dependent choice for ${\mathrm{\Sigma }}_i^1$ formulas ${\mathrm{\Sigma }}_i^1$-${\mathsf{S}\mathsf{D}\mathsf{C}}_0$ for $i>0$ and $e<i+2$. Here, $\mathsf{B}(\mathrm{\Gamma })$ denotes the set generated by $\wedge ,\vee ,\mathrm{\neg }$ starting from $\mathrm{\Gamma }$.