Hirokazu Nishimura On a Duality Between Boolean Valued Analysis and Topological Reduction Theory. 23-32 1993 39 Math. Log. Q. db/journals/mlq/mlq39.html#Nishimura93