|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
О структуре булевозначного универсума
А. Е. Гутманab a Институт математики им. С.Л. Соболева СО РАН
b Новосибирский государственный университет
Аннотация:
Уточнен логический механизм, стоящий за объявлением гипотез. В том числе, уделено внимание гипотезам и заключениям, представляющим собой бесконечные наборы формул. Приведены формальные определения булевозначной алгебраической системы и модели теории, определение системы термов булевозначной оценки истинности формул, подъема и перемешивания. Описаны логические взаимосвязи между принципами подъема, перемешивания и максимума. Показано, что перемешивание с произвольными весами может быть преобразовано к перемешиванию с постоянным весом. Введено и исследовано понятие сужения элемента булевозначной алгебраической системы. Установлено, что всякая булевозначная модель теории множеств, удовлетворяющая принципу подъема, имеет многоуровневую структуру, аналогичную кумулятивной иерархии фон Неймана.
Ключевые слова:
теория множеств, булевозначная модель, универсум, кумулятивная иерархия.
Поступила в редакцию: 06.03.2018
Образец цитирования:
А. Е. Гутман, “О структуре булевозначного универсума”, Владикавк. матем. журн., 20:2 (2018), 38–48
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/vmj651 https://www.mathnet.ru/rus/vmj/v20/i2/p38
|
Статистика просмотров: |
Страница аннотации: | 218 | PDF полного текста: | 55 | Список литературы: | 32 |
|