The nonstandard hull of a normed space in a Boolean valued universe (Q1876392)

The authors extend some results of infinitesimal analysis on normed spaces and the fields of reals to the functional representation of a Boolean-valued universe. In particular, they prove equivalence of the following three conditions for an arbitrary polyverse over \(Q\): a point \(q\in Q\) is not \(\sigma\)-isolated; the stalk of the polyverse at \(q\) is countably saturated; and the nonstandard hull of every normed space in the stalk of the polyverse at \(q\) is complete. This is an English translation of the author's article [Mat. Tr. 4, No. 2, 42--52 (2001; Zbl 1005.46034)].