For an abstract Boolean-valued system, a function analog is proposed that is a model whose elements are functions and the basic logical operations are calculated “pointwise.” The new notion of continuous polyverse is introduced and studied which is 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.

Keywords:Boolean-valued analysis, function representation, Stone space, continuous bundle, continuous section.