Publication:4508549

zbMath0962.03053MaRDI QIDQ4508549

Françoise Point

Publication date: 4 June 2001

zbMATH Keywords

quantifier elimination; Presburger arithmetic

Mathematics Subject Classification ID

03F30: First-order arithmetic and fragments

03C62: Models of arithmetic and set theory

03C10: Quantifier elimination, model completeness, and related topics