RUS  ENG
Full version
JOURNALS // Moscow Mathematical Journal // Archive

Mosc. Math. J., 2007 Volume 7, Number 3, Pages 453–460 (Mi mmj291)

This article is cited 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.

MSC: Primary 14P10; Secondary 14P15

Received: July 17, 2006

Language: English

DOI: 10.17323/1609-4514-2007-7-3-453-460



Bibliographic databases:


© Steklov Math. Inst. of RAS, 2025