ISSN печатной версии 1683-3414 • ISSN он-лайн версии 1814-0807 | |||
Войти |
КонтактыАдрес: Россия, 362025, Владикавказ,
|
Уважаемые авторы, просим обратить внимание! Подача статьи осуществляется только через личный кабинет электронной редакции. Об одном достаточном условии сильной конструктивизируемости атомных булевых алгебр
Дзгоев В. Д.
Владикавказский математический журнал. . Том 2. 2000 г.. Выпуск 2.
Аннотация:
Настоящая работа посвящена доказательству сильной конструктивизируемости фактор-алгебр конструктивной булевой алгебры относительно идеала при условии, что множество номеров, соответствующих этому идеалу, хорошо расположено в арифметической иерархии. Этот результат был доложен автором на IV Всесоюзной конференции по математической логике в 1976 году в Кишиневе и анонсирован в [1]. Однако полное доказательство до сих пор так и не было опубликовано. ← Содержание выпуска |
| |
|||
© 1999-2023 Южный математический институт | |||