Function representation of the Boolean-valued universe (Q5967044): Difference between revisions

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 principals of Boolean-valued analysis and, conversely, every Boolean-valued algebraic system can be represented as the class of sections of a suitable continuous polyverse.