ISSN печатной версии 1683-3414   •   ISSN он-лайн версии 1814-0807
    Войти
 

Контакты

Адрес: Россия, 362027, Владикавказ,
ул. Маркуса, д. 22
Тел.: (8672)50-18-06
E-mail: rio@smath.ru

 

 

 

џндекс.Њетрика

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

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

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


← Содержание выпуска
 
  | Главная | Редколлегия | Публикационная этика | Рецензирование | Свежий номер | Архив | Правила для авторов | Подать статью |  
© 1999-2022 Южный математический институт