Functions provably total in $I^{-}{\Sigma }_n$

Adamowicz, Zofia, and Bigorajska, Teresa. "Functions provably total in $I^{-}Σ_{n}$." Fundamenta Mathematicae 132.3 (1989): 189-194. <http://eudml.org/doc/211747>.

@article{Adamowicz1989,
author = {Adamowicz, Zofia, Bigorajska, Teresa},
journal = {Fundamenta Mathematicae},
keywords = {provable total recursive function; parameter-free induction; Wainer's hierarchy; proof-theoretic analysis},
language = {eng},
number = {3},
pages = {189-194},
title = {Functions provably total in $I^\{-\}Σ_\{n\}$},
url = {http://eudml.org/doc/211747},
volume = {132},
year = {1989},
}

TY - JOUR
AU - Adamowicz, Zofia
AU - Bigorajska, Teresa
TI - Functions provably total in $I^{-}Σ_{n}$
JO - Fundamenta Mathematicae
PY - 1989
VL - 132
IS - 3
SP - 189
EP - 194
LA - eng
KW - provable total recursive function; parameter-free induction; Wainer's hierarchy; proof-theoretic analysis
UR - http://eudml.org/doc/211747
ER -