On Constructing Most General Solutions for Parametric Constraints (Extended Preprint)

Viorica Sofronie-Stokkermans

Let $\mathcal{T}$ be a theory allowing a form of elimination of existential quantifiers (possibly for formulae in a certain class). We analyze possibilities of constructing (most gene…