@article { Gutman19971101,
  author = "Гутман А.Е. and Лосенков Г.А.",
  title = "Функциональное представление булевозначного универсума",
  journal = "Матем. тр.",
  year = "1998",
  volume = "1",
  number = "1",
  pages = "54--77",
  annote = "Для абстрактной булевозначной системы предлагается функциональный аналог --- модель, элементы которой являются функциями, а основные логические операции вычисляются «поточечно». Вводится и исследуется новое понятие непрерывного поливерсума, представляющего собой непрерывное расслоение моделей теории множеств. Показывается, что класс непрерывных сечений поливерсума является булевозначной алгебраической системой, удовлетворяющей всем основным принципам булевозначного анализа, а также устанавливается, что любая такая булевозначная алгебраическая система может быть представлена в виде класса сечений подходящего непрерывного поливерсума.",
  keywords = "булевозначный анализ, функциональное представление, стоуновский компакт, непрерывное расслоение, непрерывное сечение"
}