Главная Новости Оформление статьи Архив Авторы Поиск Вход
Номера
2019: 1
2018: 1 2 3 4 5 6
2017: 1 2 3 4 5 6
2016: 1 2 3 4 5 6
2015: 1 2 3 4 5 6
2014: 1 2 3 4 5 6
2013: 1 2 3 4 5 6
2012: 1 2 3 4 5 6
2011: 1 2 3 4 5 6
2010: 1 2 3 4 5 6
2009: 1 2 3 4 5 6
2008: 1 2 3 4 5 6
2007: 1 2 3 4 5 6
2006: 1 2 3 4 5 6
2005: 1 2 3 4 5 6
2004: 1 2 3 4 5 6
2003: 1 2 3 4 5 6
2002: 1 2 3 4 5 6
2001: 1 2 3 4 5 6
2000: 1 2 3 4 5 6
1999: 1 2 3 4 5 6
1998: 1 2 3 4 5 6
1997: 1 2 3 4 5 6
1996: 1 2 3 4 5 6
1995: 1 2 3 4 5 6
1994: 1 2 3 4 5 6
1993: 1 2 3 4 5 6

СИБИРСКИЙ МАТЕМАТИЧЕСКИЙ ЖУРНАЛ

АННОТАЦИИ

Пальчунов Д. Е., Трофимов А. В., Турко А. И. Автоустойчивость булевых алгебр с выделенными идеалами относительно сильных конструктивизаций // Том 56 (2015), Номер 3, стр. 617–628 
Изучаются булевы алгебры с выделенными идеалами ($I$-алгебры).
Доказано,
что локальная $I$-алгебра автоустойчива относительно сильных конструктивизаций
тогда и только тогда, когда она является прямым произведением конечного числа
простых моделей. Приведено описание полных формул элементарных теорий локальных
булевых алгебр с выделенными идеалами и конечным набором выделенных констант.
Показано, что любая счетно-категоричная $I$-алгебра, конечно аксиоматизируемая
$I$-алгебра, суператомная булева алгебра с одним выделенным идеалом
и любая булева
алгебра автоустойчивы относительно сильных конструктивизаций тогда и только
тогда, когда они являются произведением конечного числа простых моделей.
© Сибирский Математический Журнал, 2003-2006