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

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

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


Вестник ТвГУ. Серия: Прикладная математика:
Год:
Том:
Выпуск:
Страница:
Найти




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

Вестник Тверского государственного университета. Серия: Прикладная математика, 2023, выпуск 1, страницы 24–35
DOI: https://doi.org/10.26456/vtpmk656 (Mi vtpmk656) 		 
Математическая логика, алгебра, теория чисел и дискретная математика

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

Н. В. Авхимович, С. М. Дудаков

Тверской государственный университет, г. Тверь
PDF полного текста (373 kB)
Список литературы:
PDF
HTML
DOI: https://doi.org/10.26456/vtpmk656
Аннотация: В работе рассматриваются алгебраические системы, где в качестве носителя выступают конечные подмножества некоторой безатомной булевой алгебры. Для полученной системы мы вводим новое отношение для конечных подмножеств: считаем, что одно подмножество состоит в отношении с другим подмножеством в том и только том случае, когда все элементы одного подмножества меньше всех элементов другого. Мы демонстрируем, что теория построенной таким образом новой системы сводится к теории безатомных булевых алгебр. Следовательно, также как и теория исходной системы, теория новой системы оказывается разрешимой.
Ключевые слова: булева алгебра, конечное подмножество, теория, обогащение, разрешимость.
Поступила в редакцию: 14.02.2023
Принята в печать: 30.03.2023
Реферативные базы данных:
Тип публикации: Статья
УДК: 510.63
Образец цитирования: Н. В. Авхимович, С. М. Дудаков, “Разрешимость теории конечных подмножеств безатомных булевых алгебр”, Вестник ТвГУ. Серия: Прикладная математика, 2023, № 1, 24–35
Цитирование в формате AMSBIB
\RBibitem{AvkDud23}
\by Н.~В.~Авхимович, С.~М.~Дудаков
\paper Разрешимость теории конечных подмножеств безатомных булевых алгебр
\jour Вестник ТвГУ. Серия: Прикладная математика
\yr 2023
\issue 1
\pages 24--35
\mathnet{http://mi.mathnet.ru/vtpmk656}
\crossref{https://doi.org/10.26456/vtpmk656}
\elib{https://elibrary.ru/item.asp?id=50515995}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/vtpmk656
  • https://www.mathnet.ru/rus/vtpmk/y2023/i1/p24
    • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Вестник Тверского государственного университета. Серия: Прикладная математика
    Статистика просмотров:
    Страница аннотации:102
    PDF полного текста:19
    Список литературы:22
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024