A. E. Gutman, A. G. Kusraev, and S. S. Kutateladze
Boolean valued analysis is a powerful method
of extending the scope of mathematical theories
by means of the special nonstandard models of set theory.
This communication is a homage to the technique.
Geometry Days in Novosibirsk—2014,
September 26, 2014, Novosibirsk
Slides in PDF.