A note on Δ1induction and Σ1collection
Neil Thapen · Fundamenta Mathematicae · 2005
Slaman recently proved that $\Sigma _n$ collection is provable from $\Delta _n$ induction plus exponentiation, partially answering a question of Paris. We give a new version of this proof for the case $n=1$, which only requires the following very weak for