Moscow Mathematical Journal
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
General information
Latest issue
Archive
Impact factor

Search papers
Search references

RSS
Latest issue
Current issues
Archive issues
What is RSS



Mosc. Math. J.:
Year:
Volume:
Issue:
Page:
Find






Personal entry:
Login:
Password:
Save password
Enter
Forgotten password?
Register


Moscow Mathematical Journal, 2007, Volume 7, Number 3, Pages 453–460
DOI: https://doi.org/10.17323/1609-4514-2007-7-3-453-460
(Mi mmj291)
 

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
Full-text PDF Citations (1)
References:
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
Bibliographic databases:
MSC: Primary 14P10; Secondary 14P15
Language: English
Citation: A. M. Gabrièlov, “Counterexamples to quantifier elimination for fewnomial and exponential expressions”, Mosc. Math. J., 7:3 (2007), 453–460
Citation in format AMSBIB
\Bibitem{Gab07}
\by A.~M.~Gabri\`elov
\paper Counterexamples to quantifier elimination for fewnomial and exponential expressions
\jour Mosc. Math.~J.
\yr 2007
\vol 7
\issue 3
\pages 453--460
\mathnet{http://mi.mathnet.ru/mmj291}
\crossref{https://doi.org/10.17323/1609-4514-2007-7-3-453-460}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=2343142}
\zmath{https://zbmath.org/?q=an:1149.14044}
\isi{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=000261829400006}
Linking options:
  • https://www.mathnet.ru/eng/mmj291
  • https://www.mathnet.ru/eng/mmj/v7/i3/p453
  • This publication is cited in the following 1 articles:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Moscow Mathematical Journal
    Statistics & downloads:
    Abstract page:173
    References:43
     
      Contact us:
     Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024