No CrossRef data available.
Article contents
A note on exponentiation
Published online by Cambridge University Press: 12 March 2014
Abstract
We study the strength (over bounded induction) of axioms expressing particular cases of the Chinese Remainder Theorem with respect to the axiom ∀x, y∃z (z = xy).
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 1993