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

Ratajczyk, Z.. "Functions provably total in $I^{-}Σ_{n}$." Fundamenta Mathematicae 133.1 (1989): 81-95. <http://eudml.org/doc/211780>.

@article{Ratajczyk1989,
author = {Ratajczyk, Z.},
journal = {Fundamenta Mathematicae},
keywords = {provably total recursive functions; -induction; Hardy's hierarchy},
language = {eng},
number = {1},
pages = {81-95},
title = {Functions provably total in $I^\{-\}Σ_\{n\}$},
url = {http://eudml.org/doc/211780},
volume = {133},
year = {1989},
}

TY - JOUR
AU - Ratajczyk, Z.
TI - Functions provably total in $I^{-}Σ_{n}$
JO - Fundamenta Mathematicae
PY - 1989
VL - 133
IS - 1
SP - 81
EP - 95
LA - eng
KW - provably total recursive functions; -induction; Hardy's hierarchy
UR - http://eudml.org/doc/211780
ER -