Geodesic
A note on a result of Buss concerning bounded theories and the collection scheme.
Portugaliae mathematica, Tome 52 (1995) no. 3, pp. 331-336

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

Keywords: conservative extension, collection scheme, bounded theory of arithmetic 
@article{PORMA_1995__52_3_47411,
     author = {Ferreira, Fernando},
     title = {A note on a result of {Buss} concerning bounded theories and the collection scheme.},
     journal = {Portugaliae mathematica},
     pages = {331--336},
     publisher = {mathdoc},
     volume = {52},
     number = {3},
     year = {1995},
     zbl = {0839.03040},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/PORMA_1995__52_3_47411/}
}
TY  - JOUR
AU  - Ferreira, Fernando
TI  - A note on a result of Buss concerning bounded theories and the collection scheme.
JO  - Portugaliae mathematica
PY  - 1995
SP  - 331
EP  - 336
VL  - 52
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/PORMA_1995__52_3_47411/
LA  - en
ID  - PORMA_1995__52_3_47411
ER  - 
%0 Journal Article
%A Ferreira, Fernando
%T A note on a result of Buss concerning bounded theories and the collection scheme.
%J Portugaliae mathematica
%D 1995
%P 331-336
%V 52
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/PORMA_1995__52_3_47411/
%G en
%F PORMA_1995__52_3_47411
Ferreira, Fernando. A note on a result of Buss concerning bounded theories and the collection scheme.. Portugaliae mathematica, Tome 52 (1995) no. 3, pp. 331-336. http://geodesic.mathdoc.fr/item/PORMA_1995__52_3_47411/