An example of using ∆1 terms in boolean valued analysis

Syntactic tools related to ∆1 terms are demonstrated by application to Boolean valued analysis. As an example, the question is considered of what approaches to defining the field R of reals and what complete Boolean algebras B provide the explicit inclusion R^\subset R inside the Boolean valued universe V(B).