author = "Гутман А.Е. and Рябко Д.Б.",

title = "Критерий полноты нестандартной оболочки нормированного пространства в булевозначном универсуме",

journal = "Докл. Акад. наук",

year = "2002",

volume = "384",

number = "2",

pages = "153--155",

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