@article { Gutman20180306,
  author = "Гутман А.Е.",
  title = "О структуре булевозначного универсума",
  journal = "Владикавк. мат. журн.",
  year = "2018",
  volume = "20",
  number = "2",
  pages = "38--48",
  doi = "10.23671/VNC.2018.2.14718",
  annote = "Уточнен логический механизм, стоящий за объявлением гипотез. В том числе, уделено внимание гипотезам и заключениям, представляющим собой бесконечные наборы формул. Приведены формальные определения булевозначной алгебраической системы и модели теории, определение системы термов булевозначной оценки истинности формул, подъема и перемешивания. Описаны логические взаимосвязи между принципами подъема, перемешивания и максимума. Показано, что подъем с произвольными весами может быть преобразован к подъему с постоянным весом. Введено и исследовано понятие сужения элемента булевозначной алгебраической системы. Установлено, что всякая булевозначная модель теории множеств, удовлетворяющая принципу подъема, имеет многоуровневую структуру, аналогичную кумулятивной иерархии фон Неймана.",
  keywords = "теория множеств, булевозначная модель, универсум, кумулятивная иерархия"
}