Skolem arithmetic (disambiguation)
id:
skolem-arithmetic-disambiguation-201-18324090
title:
Skolem arithmetic (disambiguation)
text:
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.
brand slug:
wiki
category slug:
encyclopedia
description:
Topics referred to by the same term
original url:
https://en.wikipedia.org/wiki/Skolem_arithmetic_(disambiguation)
date created:
date modified:
2014-06-25T05:12:01Z
main entity:
{"identifier":"Q7536199","url":"https://www.wikidata.org/entity/Q7536199"}
image:
fields total:
13
integrity:
14