TY - RPRT TI - Transfer principle in quantum set theory AU - Masanao Ozawa PY - 2006 UR - https://arxiv.org/abs/math/0604349 ID - math/0604349 ER -