Functions provably total in $I^{-}Σ_{n}$
Volume 132 / 1989
Fundamenta Mathematicae 132 (1989), 189-194
DOI: 10.4064/fm-132-3-189-194