Функциональное представление пространств Канторовича посредством булевозначных моделей

В данной работе введено понятие внешнего сечения поливерсума (функционального представления булевозначного универсума) и получено новое функциональное представление $K$-пространств и векторных решеток в виде внешних сечений. В частности, построен изоморфизм между произвольной векторной решеткой и внешним подмножеством поля вещественных чисел соответствующего булевозначного универсума. В рамках нового функционального представления найдены аналоги основных понятий и фактов теории векторных решеток. В том числе, установлено, какие из рассматриваемых свойств $K$-пространств имеют «поточечные критерии».