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

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

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



ПДМ:
Год:
Том:
Выпуск:
Страница:
Найти






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


ПДМ, 2019, номер 45, страницы 6–12 (Mi pdm666)  

Теоретические основы прикладной дискретной математики

Разрешимость ограниченных теорий класса частичных порядков

А. Ю. Никитин

Институт математики им. С. Л. Соболева СО РАН, г. Омск, Россия

Аннотация: Классическая алгебраическая геометрия изучает множества решений алгебраических уравнений над полями вещественных и комплексных чисел. В последние 20 лет активно развивается так называемая универсальная алгебраическая геометрия, в которой изучаются системы уравнений над произвольными алгебраическими системами. При этом особое значение имеют универсальные и экзистенциальные теории — от их сложности зависят перспективы построения «хорошей» алгебраической геометрии над той или иной алгебраической системой. В работе доказывается, что экзистенциальная и универсальная теории класса всех частичных порядков являются разрешимыми.

Ключевые слова: частично упорядоченное множество, частичные порядки, разрешимость универсальной теории, разрешимость экзистенциальной теории, классы.

Финансовая поддержка Номер гранта
Российский научный фонд 18-71-10028
Работа поддержана грантом РНФ № 18-71-10028.


DOI: https://doi.org/10.17223/20710410/45/1

Полный текст: PDF файл (616 kB)
Список литературы: PDF файл   HTML файл

Тип публикации: Статья
УДК: 510.665

Образец цитирования: А. Ю. Никитин, “Разрешимость ограниченных теорий класса частичных порядков”, ПДМ, 2019, № 45, 6–12

Цитирование в формате AMSBIB
\RBibitem{Nik19}
\by А.~Ю.~Никитин
\paper Разрешимость ограниченных теорий класса частичных порядков
\jour ПДМ
\yr 2019
\issue 45
\pages 6--12
\mathnet{http://mi.mathnet.ru/pdm666}
\crossref{https://doi.org/10.17223/20710410/45/1}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/pdm666
  • http://mi.mathnet.ru/rus/pdm/y2019/i3/p6

    ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles
  • Прикладная дискретная математика
    Просмотров:
    Эта страница:57
    Полный текст:7
    Литература:1
     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2020