Explore relationships

Presburger arithmetic

Presburger arithmetic is the first-order theory of the natural numbers with addition, named in honor of Mojżesz Presburger, who introduced it in 1929.

Use + to expand a branch. Click a topic name to open its summary.