scientific article; zbMATH DE number 1512851

MaRDI QIDQ4508549zbMATH OpenFDO

Authors Françoise Point

Publication date 4 June 2001

zbMATH Keywords

Presburger arithmeticquantifier elimination

Mathematics Subject Classification ID

Quantifier elimination, model completeness, and related topics (03C10) Models of arithmetic and set theory (03C62) First-order arithmetic and fragments (03F30)

Recommendations

• On decidable extensions of Presburger arithmetic: from A. Bertrand numeration sytems to Pisot numbers
• scientific article; zbMATH DE number 1512848
• A note on definability in fragments of arithmetic with free unary predicates
• scientific article; zbMATH DE number 4112569
• scientific article; zbMATH DE number 4031630

Cited in

(10)

• Bounding quantification in parametric expansions of Presburger arithmetic
• scientific article; zbMATH DE number 4031630 (Why is no real title available?)
• scientific article; zbMATH DE number 4112569 (Why is no real title available?)
• Presburger arithmetic with unary predicates is Π₁¹ complete
• A generalization of \(p\)-boxes to affine arithmetic
• scientific article; zbMATH DE number 1979550 (Why is no real title available?)
• On decidable extensions of Presburger arithmetic: from A. Bertrand numeration sytems to Pisot numbers
• A collapse result for extensions of the Presburger arithmetic by a one-place function compatible with addition.
• Expansions of Presburger arithmetic with the exchange property
• Tractable fragments of Presburger arithmetic

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4508549)