2 citations to https://www.mathnet.ru/rus/smj3132

1. A. Gutman, “Boolean-valued set-theoretic systems: general formalism and basic technique”, Mathematics, 9:9 (2021), 1056      
2. А. Е. Гутман, “Булевозначный универсум как алгебраическая система. II. Интенсиональные иерархии”, Сиб. матем. журн., 61:3 (2020), 539–571    ; A. E. Gutman, “Boolean-valued universe as an algebraic system. ii: intensional hierarchies”, Siberian Math. J., 61:3 (2020), 426–452