This tag is used if a reference is needed in a paper or textbook on a specific result.

learn more… | top users | synonyms

5
votes
2answers
324 views
+50

Primitive Recursive Arithmetic via Universal Algebra

From the wikipedia article on Primitive Recursive Arithmetic (see http://en.wikipedia.org/wiki/Primitive_recursive_arithmetic): "Primitive recursive arithmetic, or PRA, is a quantifier-free ...