author = "Gutman A.E. and Losenkov G.A.",

chapter = "2",

title = "Function representation of a Boolean valued universe",

booktitle = "Nonstandard analysis and vector lattices. 2nd ed., corr. and enl.",

address = "Novosibirsk",

publisher = "Institute of Mathematics",

year = "2005",

pages = "95--123",

language = "russian",

annote = "Contemporary methods of Boolean-valued analysis, due to their nature, involve rather bulky logical technique. We can say that, from a pragmatic viewpoint, this technique might distract the user-analyst from a concrete aim: to apply the results of Boolean-valued analysis for solving analytical problems. Various function spaces are common in functional analysis, and so the intention is natural of replacing an abstract Boolean-valued system by some function analog, a model whose elements are functions and in which the basic logical operations are calculated ``pointwise.'' In the present chapter, a solution is proposed to the above problem. To this end, we introduce and study the new notion of continuous polyverse, the latter being a continuous bundle of models of set theory. It is shown that the class of continuous sections of a continuous polyverse is a Boolean-valued system satisfying all basic principles of Boolean-valued analysis and, conversely, every Boolean-valued algebraic system can be represented as the class of sections of a suitable continuous polyverse."