Bounding quantification in parametric expansions of Presburger arithmetic

DOI10.1007/s00153-017-0593-0zbMath1496.03141arXiv1604.06166OpenAlexW2963029392MaRDI QIDQ1661676

John Goodrick

Publication date: 16 August 2018

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1604.06166

zbMATH Keywords

Presburger arithmeticelimination of imaginariesbounded quantifiers

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Quantifier elimination, model completeness, and related topics (03C10)

Related Items (1)

Parametric Presburger arithmetic: logic, combinatorics, and quasi-polynomial behavior

Cites Work

• The unreasonable ubiquitousness of quasi-polynomials
• Weak quantifier elimination for the full linear theory of the integers
• The parametric Frobenius problem
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Bounding quantification in parametric expansions of Presburger arithmetic