|
Конечно-аксиоматизируемые суператомные булевы алгебры с выделенной плотной подалгеброй конечной ширины
Д. Е. Пальчуновab, А. В. Трофимовab a Институт математики им. С. Л. Соболева СО РАН, пр. Академика Коптюга, 4, Новосибирск 630090
b Новосибирский гос. университет, ул. Пирогова, 2, Новосибирск 630090
Аннотация:
Дано описание конечно-аксиоматизируемых суператомных булевых алгебр с выделенной плотной подалгеброй конечной ширины. Получены критерии элементарной эквивалентности суператомных булевых алгебр с выделенной плотной подалгеброй конечной ширины и разрешимости их элементарных теорий.
Ключевые слова:
булева алгебра, булева алгебра с выделенной подалгеброй, локальная алгебра, элементарная теория, конечно-аксиоматизируемая теория, разрешимая теория, элементарная эквивалентность.
Статья поступила: 24.03.2016
Образец цитирования:
Д. Е. Пальчунов, А. В. Трофимов, “Конечно-аксиоматизируемые суператомные булевы алгебры с выделенной плотной подалгеброй конечной ширины”, Сиб. матем. журн., 57:6 (2016), 1361–1375; Siberian Math. J., 57:6 (2016), 1066–1076
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/smj2829 https://www.mathnet.ru/rus/smj/v57/i6/p1361
|
Статистика просмотров: |
Страница аннотации: | 283 | PDF полного текста: | 91 | Список литературы: | 38 | Первая страница: | 1 |
|