Développement : Décidabilité de l'arithmétique de Presburger

Détails/Enoncé :

La théorie du premier ordre des entiers munis de l'addition est décidable.

Recasages pour l'année 2024 :

  • Pas de recasages pour cette année.

Versions :

Références utilisées dans les versions de ce développement :

Langages formels, Calculabilité et Complexité, Carton (utilisée dans 19 versions au total)
Introduction à la logique, René David, Karim Nour, Christophe Raffalli (DNR) (utilisée dans 16 versions au total)