logic, elementary function arithmetic (EFA), also called elementary arithmetic and exponential function arithmetic, is the system of arithmetic with the...

In number theory, an arithmetic, arithmetical, or number-theoretic function is generally any function f(n) whose domain is the positive integers and whose...

of Galois symmetry groups of differential fields Elementary function arithmetic – System of arithmetic in proof theory Liouville's theorem (differential...

Elementary arithmetic is a branch of mathematics involving basic numerical operations, namely addition, subtraction, multiplication, and division. Due...

{-}}|x-y|=0} . Elementary recursive arithmetic Finite-valued logic Heyting arithmetic Peano arithmetic Primitive recursive function Robinson arithmetic Second-order...

order and then a formula of (i − 1)th order. Elementary function arithmetic Primitive recursive function Grzegorczyk hierarchy EXPTIME Mazzanti, S (2002)...

In number theory, the Lagarias arithmetic derivative or number derivative is a function defined for integers, based on prime factorization, by analogy...

In elementary arithmetic, a carry is a digit that is transferred from one column of digits to another column of more significant digits. It is part of...

Arithmetic is an elementary branch of mathematics that is widely used for tasks ranging from simple day-to-day counting to advanced science and business...

comprehension can be defined. The weak system RCA* 0 consists of elementary function arithmetic EFA (the basic axioms plus Δ0 0 induction in the enriched language...