Реферат: Уточнен логический механизм, стоящий за объявлением гипотез. В том числе, уделено внимание гипотезам и заключениям, представляющим собой бесконечные наборы формул. Приведены формальные определения булевозначной алгебраической системы и модели теории, определение системы термов булевозначной оценки истинности формул, подъема и перемешивания. Описаны логические взаимосвязи между принципами подъема, перемешивания и максимума. Показано, что подъем с произвольными весами может быть преобразован к подъему с постоянным весом. Введено и исследовано понятие сужения элемента булевозначной алгебраической системы. Установлено, что всякая булевозначная модель теории множеств, удовлетворяющая принципу подъема, имеет многоуровневую структуру, аналогичную кумулятивной иерархии фон Неймана.

Библиографическая ссылка: Гутман А.Е.
О структуре булевозначного универсума
Владикавказский математический журнал (Vladikavkaz Mathematical Journal). 2018. Т.20. №2. С.38-48. DOI: 10.23671/VNC.2018.2.14718 OpenAlex

Даты:

Поступила в редакцию:

6 мар. 2018 г.

Идентификаторы БД:

OpenAlex:

W3196660645

Цитирование в БД:

БД	Цитирований
OpenAlex	1

Альметрики: