presburger arithmetic

Questions

What does presburger arithmetic mean?

A set of axioms of first-order logic for the natural numbers specifying the operations of zero, successor, and addition, including a first-order schema of induction, without multiplication.

Where does presburger arithmetic come from?

Introduced in 1929 by Mojżesz Presburger.

How to pronounce presburger arithmetic

1. Open the pronunciation page — Open the Speakur entry for “presburger arithmetic”.
2. Read the phonetic spelling — Read the IPA spelling () so you know which sounds to aim for.
3. Play the audio — Click Play to hear reference audio for “presburger arithmetic”.
4. Repeat and practice — Say “presburger arithmetic” aloud, matching stress and vowels until it feels natural.