Д. Е. Пальчунов, А. В. Трофимов, “Конечно-аксиоматизируемые суператомные булевы алгебры с выделенной плотной подалгеброй конечной ширины”, Сиб. матем. журн., 2016, том 57, номер 6,страницы 1361

Конечно-аксиоматизируемые суператомные булевы алгебры с выделенной плотной подалгеброй конечной ширины

Д. Е. Пальчунов^ab, А. В. Трофимов^ab

^a Институт математики им. С. Л. Соболева СО РАН, пр. Академика Коптюга, 4, Новосибирск 630090
^b Новосибирский гос. университет, ул. Пирогова, 2, Новосибирск 630090

Аннотация: Дано описание конечно-аксиоматизируемых суператомных булевых алгебр с выделенной плотной подалгеброй конечной ширины. Получены критерии элементарной эквивалентности суператомных булевых алгебр с выделенной плотной подалгеброй конечной ширины и разрешимости их элементарных теорий.

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

УДК: 512.563

Статья поступила: 24.03.2016

DOI: 10.17377/smzh.2016.57.613