transfinite arithmetic, cardinal arithmetic, ordinal arithmetic
prime field, p-adic integer, p-adic rational number, p-adic complex number
arithmetic geometry, function field analogy
Heyting arithmetic is the constructive counterpart of Peano arithmetic. It adopts all the axioms of Peano arithmetic, while using constructive logic as its rules of inference.
Named after Arend Heyting.
Created on May 10, 2017 at 08:13:25. See the history of this page for a list of all contributions to it.