Нестандартная оболочка нормированного пространства в булевозначном универсуме

В данной работе некоторые результаты инфинитезимального анализа, касающиеся нормированных пространств и поля вещественных чисел, перенесены на функциональное представление булевозначного универсума. В частности, для произвольного поливерсума над $Q$ доказана равносильность следующих условий: точка $q\in Q$ не $\sigma$-изолированна, слой поливерсума над точкой $q$ является счетно-насыщенным, нестандартная оболочка любого нормированного пространства в слое поливерсума над точкой $q$ полна.