Алгебраические свойства булевых алгебр Власов, Владимир Николаевич

Короткий опис

Власов, Владимир Николаевич.
Алгебраические свойства булевых алгебр : диссертация ... кандидата физико-математических наук : 01.01.06. - Новосибирск, 1999. - 115 с.
Оглавление диссертациикандидат физико-математических наук Власов, Владимир Николаевич
Введение 1
1 Построение конструктивизаций с заданными разрешимыми множествами для БА типа (1,1,0) и (п+1,1,0) 15
1.1 Сильная конструктивизируемость Б А типа (1,1,0). 17
1.2 Сильная конструктивизируемость Б А типа (п Ч-1,1,0). 30
2 Конструктивизируемость БА для элементарных характеристик
1,0,1) и (п + 1,0,1) 41
2.1 Контрпример не сильно конструктивизируемой Б А элементарной характеристики (1,0,1) с разрешимым множеством атомов. 42
2.2 Обобщение для элементарной характеристики (п 4-1, 0,1). 64
2.3 Проблемы характеризации. 74
3 Дальнейшее развитие метода иерархий Фейнера 77
3.1 Конструктивные БА элементарной характеристики (1, 0,1) с разрешимыми множествами At, А/ и F.78
3.2 Общий случай использования конструкции Фейнера-Гончарова . 95