author = "Gutman A.E.",

howpublished = "Electronic",

title = "The technique of definable terms in Boolean valued analysis",

booktitle = "Mal'tsev Meeting. International Conference (Novosibirsk, November 11--15, 2013): Proceedings",

address = "Novosibirsk",

year = "2013",

pages = "164",

annote = "A syntax technique related to the notion of $\Delta_1$ term is demonstrated by means of its applications to Boolean-valued analysis. As an example, the following question is considered: Which of the classical approaches to the definition of the field $R$ of reals and which Boolean algebras provide the explicit inclusion of $R^{\land}$ in $R$ inside the Boolean-valued universe $V^{(B)}$?"