1. Gutman A. E., “On the structure of the Boolean-valued universe,” Vladikavkaz. Mat. Zh., vol. 20, no. 2, 38–48 (2018).
2. Gutman A. E., “An example of using Δ1 terms in Boolean-valued analysis,” Vladikavkaz. Mat. Zh., vol. 14, no. 1, 47–63 (2012).
3. Kusraev A. G. and Kutateladze S. S., Introduction to Boolean Valued Analysis [Russian], Nauka, Moscow (2005).
4. Solovay R. M. and Tennenbaum S., “Iterated Cohen extensions and Souslin’s problem,” Ann. Math., vol. 94, no. 2, 201–245 (1971).
5. Gutman A. E. and Losenkov G. A., “Function representation of the Boolean-valued universe,” Siberian Adv. Math., vol. 8, no. 1, 99–120 (1998).