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

Автор: Дзгоев В.Д.

Журнал: Владикавказский математический журнал @vmj-ru

Статья в выпуске: 2 т.2, 2000 года.

Бесплатный доступ

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

Короткий адрес: https://sciup.org/14318002

IDR: 14318002

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

Дзгоев В. Д. О конструктивизируемости булевых алгебр//В кн: IV Всесоюзная конференция по математической логике. Тезисы докладов.-Кишинев, 1976.-С. 42.
Гончаров С. С. Счетные булевы алгебры и разрешимость.-Новосибирск: Научная книга, 1996.
Гончаров С. С., Ершов Ю. Л. Конструктивные модели.-Новосибирск: Научная книга, 2000.
Ершов Ю. Л. Определимость и вычислимость.-Новосибирск: Научная книга, 1996.
Перетятькин М. Г. Сильно конструктивные модели и нумерации булевой алгебры рекурсивных множеств//Алгебра и логика.-1971.-T. 10, № 5.-C. 535-557.
Гончаров С. С. Некоторые свойства конструктивизаций булевых алгебр//Сиб. мат. журн.-1976.-Т. 17, № 2.-С. 257-282.
Remmel J. B. Recursive isomorphism types of recursively presented Boolean algebras//Notices Amer. Math. Soc.-1978, V. 25, № 7, A-706.
Дзгоев В. Д. Декартовы степени конструктивных моделей//В кн: V Всесоюзная конференция по математической логике. Тезисы докладов.-Новосибирск, 1979.-С. 43-44.
Дзгоев В. Д. Конструктивизации алгебраических конструкций.-НГУ, Новосибирск: Дисс.... канд. физ.-мат. наук, 1980.

Статья научная