Авхимович, Н.В. и Дудаков, С.М. (2023) Разрешимость теории конечных подмножеств безатомных булевых алгебр. Вестник ТвГУ. Серия: Прикладная математика (1). С. 24-35. ISSN 1995-0136
![[thumbnail of ПРИКЛАДНАЯ МАТЕМАТИКА_1_2023-24-35.pdf]](http://eprints.tversu.ru/style/images/fileicons/application_pdf.png "ПРИКЛАДНАЯ МАТЕМАТИКА_1_2023-24-35.pdf") |
PDF
- Опубликованная версия
369kB |
Абстракт
В работе рассматриваются алгебраические системы, где в качестве носителя выступают конечные подмножества некоторой безатомной булевой алгебры. Для полученной системы мы вводим новое отношение для конечных подмножеств: считаем, что одно подмножество состоит в отношении с другим подмножеством в том и только том случае, когда все элементы одного подмножества меньше всех элементов другого. Мы демонстрируем, что теория построенной таким образом новой системы сводится к теории безатомных булевых алгебр. Следовательно, также как и теория исходной системы, теория новой системы оказывается разрешимой
Абстракт (англ.)
We consider atomless boolean algebras, and study algebraic structures where the universe consists of finite subsets of such an algebra. On these structures, we define the new relation between finite subsets: we say that one set is less than another one iff all elements of the first set are less than all elements of the second one. We show that the theory of constructed structure is reducible to the theory of original boolean algebra. Hence, the theory of constructed structure is decidable
| Тип объекта: | Статья |
|---|---|
| Сведения об авторах: | 1. Авхимович Николь Вадимовна магистрант факультета прикладной математики и кибернетики Тверского государственного университета. 2. Дудаков Сергей Михайлович декан факультета прикладной математики и кибернетики Тверского госуниверситета. |
| Ключевые слова: | булева алгебра, конечное подмножество, теория, обогащение, разрешимость |
| Ключевые слова (англ.): | atomless boolean algebras, theory, finite subset, decidability |
| Категории: | 5 Математика. Естественные науки > 51 Математика > 510 Фундаментальные и общие проблемы математики. Основания математики, математическая логика и т. п. > 510.6 Математическая логика |
| Подразделения: | Университеты > Тверской государственный университет |
| ID Code: | 11953 |
| Deposited On: | 20 Апр 2023 10:25 |
| Последнее изменение: | 20 Апр 2023 10:25 |
Repository Staff Only: item control page