A definition of exponentiation by a bounded arithmetical formula
Commentationes Mathematicae Universitatis Carolinae (1983)
- Volume: 024, Issue: 4, page 667-671
- ISSN: 0010-2628
Access Full Article
top
How to cite
topPudlák, Pavel. "A definition of exponentiation by a bounded arithmetical formula." Commentationes Mathematicae Universitatis Carolinae 024.4 (1983): 667-671. <http://eudml.org/doc/17285>.
@article{Pudlák1983,
author = {Pudlák, Pavel},
journal = {Commentationes Mathematicae Universitatis Carolinae},
keywords = {exponentiation; bounded arithmetical formula},
language = {eng},
number = {4},
pages = {667-671},
publisher = {Charles University in Prague, Faculty of Mathematics and Physics},
title = {A definition of exponentiation by a bounded arithmetical formula},
url = {http://eudml.org/doc/17285},
volume = {024},
year = {1983},
}
TY - JOUR
AU - Pudlák, Pavel
TI - A definition of exponentiation by a bounded arithmetical formula
JO - Commentationes Mathematicae Universitatis Carolinae
PY - 1983
PB - Charles University in Prague, Faculty of Mathematics and Physics
VL - 024
IS - 4
SP - 667
EP - 671
LA - eng
KW - exponentiation; bounded arithmetical formula
UR - http://eudml.org/doc/17285
ER -
References
top- 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)
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.