Об одном достаточном условии сильной конструктивизируемости атомных булевых алгебр

Дзгоев В. Д.
Владикавказский математический журнал. . Том 2. 2000 г.. Выпуск 2.

Аннотация:
Настоящая работа посвящена доказательству сильной конструктивизируемости фактор-алгебр конструктивной булевой алгебры относительно идеала при условии, что множество номеров, соответствующих этому идеалу, хорошо расположено в арифметической иерархии. Этот результат был доложен автором на IV Всесоюзной конференции по математической логике в 1976 году в Кишиневе и анонсирован в [1]. Однако полное доказательство до сих пор так и не было опубликовано.

Язык статьи: Русский Загрузить полный текст