Geodesic
The limit lemma in fragments of arithmetic
Commentationes Mathematicae Universitatis Carolinae, Tome 44 (2003) no. 3, pp. 565-568.

Voir la notice de l'article provenant de la source Czech Digital Mathematics Library

The recursion theoretic limit lemma, saying that each function with a $\varSigma_{n+2}$ graph is a limit of certain function with a $\varDelta_{n+1}$ graph, is provable in $\text{\rm B}\Sigma_{n+1}$.
Classification : 03D20, 03D55, 03F30
Keywords: limit lemma; fragments of arithmetic; collection scheme 
@article{CMUC_2003__44_3_a13,
     author = {\v{S}vejdar, V{\'\i}t\v{e}zslav},
     title = {The limit lemma in fragments of arithmetic},
     journal = {Commentationes Mathematicae Universitatis Carolinae},
     pages = {565--568},
     publisher = {mathdoc},
     volume = {44},
     number = {3},
     year = {2003},
     mrnumber = {2025821},
     zbl = {1098.03067},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/CMUC_2003__44_3_a13/}
}
TY  - JOUR
AU  - Švejdar, Vítězslav
TI  - The limit lemma in fragments of arithmetic
JO  - Commentationes Mathematicae Universitatis Carolinae
PY  - 2003
SP  - 565
EP  - 568
VL  - 44
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/CMUC_2003__44_3_a13/
LA  - en
ID  - CMUC_2003__44_3_a13
ER  - 
%0 Journal Article
%A Švejdar, Vítězslav
%T The limit lemma in fragments of arithmetic
%J Commentationes Mathematicae Universitatis Carolinae
%D 2003
%P 565-568
%V 44
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/CMUC_2003__44_3_a13/
%G en
%F CMUC_2003__44_3_a13
Švejdar, Vítězslav. The limit lemma in fragments of arithmetic. Commentationes Mathematicae Universitatis Carolinae, Tome 44 (2003) no. 3, pp. 565-568. http://geodesic.mathdoc.fr/item/CMUC_2003__44_3_a13/