A Note on Exponentiation
Cornaros, Ch. ; Dimitracopoulos, C.
J. Symbolic Logic, Tome 58 (1993) no. 1, p. 64-71 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
We study the strength (over bounded induction) of axioms expressing particular cases of the Chinese Remainder Theorem with respect to the axiom $\forall x, y\exists z (z = x^y)$.
Publié le : 1993-03-14
Classification:  
@article{1183744176,
     author = {Cornaros, Ch. and Dimitracopoulos, C.},
     title = {A Note on Exponentiation},
     journal = {J. Symbolic Logic},
     volume = {58},
     number = {1},
     year = {1993},
     pages = { 64-71},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183744176}
}

Cornaros, Ch.; Dimitracopoulos, C. A Note on Exponentiation. J. Symbolic Logic, Tome 58 (1993) no. 1, pp.  64-71. http://gdmltest.u-ga.fr/item/1183744176/