|
This article is cited in 1 scientific paper (total in 1 paper)
Counterexamples to quantifier elimination for fewnomial and exponential expressions
A. M. Gabrièlov Department of Mathematical Sciences, Indiana University–Purdue University Indianapolis
Abstract:
We construct a family of semialgebraic sets of bounded fewnomial complexity, with unbounded fewnomial complexity of their projections to a subspace. This implies impossibility of fewnomial quantifier elimination. We also construct a set defined by exponential algebraic functions such that its projection cannot be defined by a quantifier-free formula with exponential algebraic functions, even if division is permitted. Similar examples are constructed for the unrestricted frontier of fewnomial and exponential semialgebraic sets, and for the Hausdorff limits of families of such sets.
Key words and phrases:
Fewnomials, quantifier elimination.
Received: July 17, 2006
Citation:
A. M. Gabrièlov, “Counterexamples to quantifier elimination for fewnomial and exponential expressions”, Mosc. Math. J., 7:3 (2007), 453–460
Linking options:
https://www.mathnet.ru/eng/mmj291 https://www.mathnet.ru/eng/mmj/v7/i3/p453
|
|