LogoTver State University Repository

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

Авхимович, Н.В. and Дудаков, С.М. (2023) Разрешимость теории конечных подмножеств безатомных булевых алгебр. Вестник ТвГУ. Серия: Прикладная математика (1). pp. 24-35. ISSN 1995-0136

[img] PDF - Published Version
369kB

Abstract

В работе рассматриваются алгебраические системы, где в качестве носителя выступают конечные подмножества некоторой безатомной булевой алгебры. Для полученной системы мы вводим новое отношение для конечных подмножеств: считаем, что одно подмножество состоит в отношении с другим подмножеством в том и только том случае, когда все элементы одного подмножества меньше всех элементов другого. Мы демонстрируем, что теория построенной таким образом новой системы сводится к теории безатомных булевых алгебр. Следовательно, также как и теория исходной системы, теория новой системы оказывается разрешимой

Abstract (en)

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

Item Type:Article
Additional Information:1. Авхимович Николь Вадимовна магистрант факультета прикладной математики и кибернетики Тверского государственного университета. 2. Дудаков Сергей Михайлович декан факультета прикладной математики и кибернетики Тверского госуниверситета.
Uncontrolled Keywords:булева алгебра, конечное подмножество, теория, обогащение, разрешимость
Keywords (en):atomless boolean algebras, theory, finite subset, decidability
Subjects:5 Математика. Естественные науки > 51 Математика > 510 Фундаментальные и общие проблемы математики. Основания математики, математическая логика и т. п. > 510.6 Математическая логика
Divisions:Университеты > TverSU
ID Code:11953
Deposited By: С.Б. Федорова
Deposited On:20 Apr 2023 10:25
Last Modified:20 Apr 2023 10:25

Repository Staff Only: item control page