@inproceedings { Gutman20131114,
  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)}$?"
}