Skolem arithmetic (disambiguation)
Skolem arithmetic may refer to several distinct types of arithmetic.
- Skolem arithmetic, the arithmetic of positive number with multiplication and equality.
- Primitive recursive arithmetic, a quantifier-free formalization of the natural numbers.
- True arithmetic, the statements true about the standard natural numbers.
This article is issued from Wikipedia - version of the 6/25/2014. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.