|
Сибирский математический журнал, 1981, том 22, номер 4, страницы 169–175
(Mi smj6487)
|
|
|
|
О конструктивизациях булевых алгебр
А. Г. Пинус Новосибирский электротехнический институт
Аннотация:
Вводится понянтие $F$-конструктивизации модели, где $F$ некоторый логический формализм, обобщающее понятия конструктивной и сильно конструктивной моделей. Формулируется обобщение теоремы Нуртазина о существовании $F$-конструктивизаций некоторой модели, не являющихся $F'$-конструктивизациями, для различных формализмов $F$ и $F'$. На основе этого получается ряд утверждений о существовании конструктивизации булевых алгебр с заданными условиями на рекурсивность ультрафильтров. Доказано также существование $F$-конструктивизации некоторых булевых алгебр, где $F$-формализм более сильный, чем УИП.
Библ. 14.
Статья поступила: 10.05.1978
Образец цитирования:
А. Г. Пинус, “О конструктивизациях булевых алгебр”, Сиб. матем. журн., 22:4 (1981), 169–175; Siberian Math. J., 22:4 (1981), 616–620
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/smj6487 https://www.mathnet.ru/rus/smj/v22/i4/p169
|
|