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

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