English Presburger arithmetic Cited by user Citation bot on 20 Feb 2022 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.
English Skolem arithmetic Cited by user Vkuncak on 04 Jul 2021 In mathematical logic, Skolem arithmetic is the first-order theory of the natural numbers with multiplication, named in honor of Thoralf Skolem.
German Presburger-Arithmetik Cited by user Hagman on 26 Feb 2012 Die Presburger-Arithmetik ist eine in der Prädikatenlogik erster Stufe formulierte mathematische Theorie der natürlichen Zahlen mit Addition.