author = "Gutman A.E.",

howpublished = "Электронная",

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

booktitle = "Мальцевские чтения. Международная конференция (Новосибирск, 11--15 ноября 2013 г.): Тез. докладов",

address = "Новосибирск",

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)}$?"