Geodesic
A definition of exponentiation by a bounded arithmetical formula
Commentationes Mathematicae Universitatis Carolinae, Tome 24 (1983) no. 4, pp. 667-671 Cet article a éte moissonné depuis la source Czech Digital Mathematics Library

Voir la notice de l'article

Classification : 03F30 
@article{CMUC_1983_24_4_a7,
     author = {Pudl\'ak, Pavel},
     title = {A definition of exponentiation by a bounded arithmetical formula},
     journal = {Commentationes Mathematicae Universitatis Carolinae},
     pages = {667--671},
     year = {1983},
     volume = {24},
     number = {4},
     mrnumber = {738562},
     zbl = {0533.03032},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/CMUC_1983_24_4_a7/}
}
TY  - JOUR
AU  - Pudlák, Pavel
TI  - A definition of exponentiation by a bounded arithmetical formula
JO  - Commentationes Mathematicae Universitatis Carolinae
PY  - 1983
SP  - 667
EP  - 671
VL  - 24
IS  - 4
UR  - http://geodesic.mathdoc.fr/item/CMUC_1983_24_4_a7/
LA  - en
ID  - CMUC_1983_24_4_a7
ER  - 
%0 Journal Article
%A Pudlák, Pavel
%T A definition of exponentiation by a bounded arithmetical formula
%J Commentationes Mathematicae Universitatis Carolinae
%D 1983
%P 667-671
%V 24
%N 4
%U http://geodesic.mathdoc.fr/item/CMUC_1983_24_4_a7/
%G en
%F CMUC_1983_24_4_a7
Pudlák, Pavel. A definition of exponentiation by a bounded arithmetical formula. Commentationes Mathematicae Universitatis Carolinae, Tome 24 (1983) no. 4, pp. 667-671. http://geodesic.mathdoc.fr/item/CMUC_1983_24_4_a7/

[1] BENNETT J. H.: On Spectra. Ph.D. dissertation, Princeton University 1962.

[2] GAIFMAN H., DIMITRACOPOLOUS C.: Fragments of Peano's arithmetic and the MRDP Theorem. in Logic and Algorithmic, Genève 1982, 187-206.