Open AccessOn the structure of the boolean-valued universe
Author(s) -
A. E. Gutman
Publication year - 2018
Publication title -
vladikavkazskij matematičeskij žurnal
Language(s) - Russian
Resource type - Journals
SCImago Journal Rank - 0.126
H-Index - 2
eISSN - 1814-0807
pISSN - 1683-3414
DOI - 10.23671/vnc.2018.2.14718
Subject(s) - universe , stone's representation theorem for boolean algebras , computer science , mathematics , two element boolean algebra , pure mathematics , astronomy , physics , algebra over a field , filtered algebra
Уточнен логический механизм, стоящий за объявлением гипотез. В том числе, уделено внимание гипотезам и заключениям, представляющим собой бесконечные наборы формул. Приведены формальные определения булевозначной алгебраической системы и модели теории, определение системы термов булевозначной оценки истинности формул, подъема и перемешивания. Описаны логические взаимосвязи между принципами подъема, перемешивания и максимума. Показано, что перемешивание с произвольными весами может быть преобразовано к перемешиванию с постоянным весом. Введено и исследовано понятие сужения элемента булевозначной алгебраической системы. Установлено, что всякая булевозначная модель теории множеств, удовлетворяющая принципу подъема, имеет многоуровневую структуру, аналогичную кумулятивной иерархии фон Неймана.