TY - RPRT TI - From Boolean Valued Analysis to Quantum Set Theory: Mathematical Worldview of Gaisi Takeuti AU - Masanao Ozawa PY - 2021 DO - 10.3390/math9040397 UR - https://arxiv.org/abs/2102.03851 ID - 2102.03851 ER -