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

Контакты

Адрес: Россия, 362025, Владикавказ,
ул. Ватутина, 53
Тел.: (8672)23-00-54
E-mail: rio@smath.ru

 

 

 

Яндекс.Метрика

Уважаемые авторы, просим обратить внимание!
Подача статьи осуществляется только через личный кабинет электронной редакции.
DOI: 10.23671/VNC.2018.2.14718

О структуре булевозначного универсума

Гутман А. Е.
Владикавказский математический журнал. 2018. Том 20. Выпуск 2.С.38-48.
Аннотация:
Уточнен логический механизм, стоящий за объявлением гипотез. В том числе, уделено внимание гипотезам и заключениям, представляющим собой бесконечные наборы формул. Приведены формальные определения булевозначной алгебраической системы и модели теории, определение системы термов булевозначной оценки истинности формул, подъема и перемешивания. Описаны логические взаимосвязи между принципами подъема, перемешивания и максимума. Показано, что перемешивание с произвольными весами может быть преобразовано к перемешиванию с постоянным весом. Введено и исследовано понятие сужения элемента булевозначной алгебраической системы. Установлено, что всякая булевозначная модель теории множеств, удовлетворяющая принципу подъема, имеет многоуровневую структуру, аналогичную кумулятивной иерархии фон Неймана.
Ключевые слова: теория множеств, булевозначная модель, универсум, кумулятивная иерархия
Язык статьи: Русский Загрузить полный текст  
Образец цитирования: Гутман А. Е. О структуре булевозначного универсума //  Владикавк. мат. журн. 2018. Том 20, вып. 2. С. 38-48. DOI 10.23671/VNC.2018.2.14718
+ Список литературы


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