A definition of exponentiation by a bounded arithmetical formula
Pudlák, Pavel
Commentationes Mathematicae Universitatis Carolinae, Tome 024 (1983), p. 667-671 / Harvested from Czech Digital Mathematics Library
Access to full text
Full (PDF)
Publié le : 1983-01-01
Classification:  03F30 
@article{106264,
     author = {Pavel Pudl\'ak},
     title = {A definition of exponentiation by a bounded arithmetical formula},
     journal = {Commentationes Mathematicae Universitatis Carolinae},
     volume = {024},
     year = {1983},
     pages = {667-671},
     zbl = {0533.03032},
     mrnumber = {738562},
     language = {en},
     url = {http://dml.mathdoc.fr/item/106264}
}

Pudlák, Pavel. A definition of exponentiation by a bounded arithmetical formula. Commentationes Mathematicae Universitatis Carolinae, Tome 024 (1983) pp. 667-671. http://gdmltest.u-ga.fr/item/106264/

Bennett J. H. On Spectra, Ph.D. dissertation, Princeton University 1962. (1962)

Gaifman H.; Dimitracopolous C. Fragments of Peano's arithmetic and the MRDP Theorem, in Logic and Algorithmic, Genève 1982, 187-206. (1982)