Moscow Mathematical Journal
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив
Импакт-фактор

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS


Mosc. Math. J.:
Год:
Том:
Выпуск:
Страница:
Найти




Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация

Moscow Mathematical Journal, 2007, том 7, номер 3, страницы 453–460
DOI: https://doi.org/10.17323/1609-4514-2007-7-3-453-460 (Mi mmj291) 		 
Эта публикация цитируется в 1 научной статье (всего в 1 статье)

Counterexamples to quantifier elimination for fewnomial and exponential expressions
[Контрпримеры к исключению кванторов из малочленных и экспоненциальных выражений]

A. M. Gabrièlov

Department of Mathematical Sciences, Indiana University–Purdue University Indianapolis
PDF полного текста Список цитирования (1)
Список литературы:
PDF
HTML
DOI: https://doi.org/10.17323/1609-4514-2007-7-3-453-460
Аннотация: Построено семейство малочленных полуалгебраических множеств ограниченной малочленной сложности, для которых малочленная сложность их проекций неограничена. Отсюда следует невозможность малочленного исключения кванторов. Построен также пример множества, заданного экспоненциально-алгебраическими функциями, проекция которого не может быть задана бескванторной формулой с экспоненциально-алгебраическими функциями. Аналогичные примеры построены для границ малочленных и экспоненциальных полуалгебраических множеств и для хаусдорфовых пределов семейств таких множеств.
Статья поступила: 17 июля 2006 г.
Реферативные базы данных:
MSC: Primary 14P10; Secondary 14P15
Язык публикации: английский
Образец цитирования: A. M. Gabrièlov, “Counterexamples to quantifier elimination for fewnomial and exponential expressions”, Mosc. Math. J., 7:3 (2007), 453–460
Цитирование в формате AMSBIB
\RBibitem{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}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/mmj291
  • https://www.mathnet.ru/rus/mmj/v7/i3/p453
    • Эта публикация цитируется в следующих 1 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Moscow Mathematical Journal
    Статистика просмотров:
    Страница аннотации:180
    Список литературы:50
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024