訂正日: 2006/10/20訂正理由: -訂正箇所: 引用文献情報訂正内容: Wrong : 1) P. R. Halmos, Introduction to Hilbert space and the theory of spectral multiplicity, Chelsea, New York, 1951. 2) P. R. Halmos, Lectures on Boolean algebras, Van Nostrand, New York, 1963. 3) S. Mac Lane, Categories for the working mathematician, Springer, New York, 1971. 4) S. Sakai, C*-Algebras and W*-algebras, Springer, Berlin, 1971. 5) M. Takesaki, Theory of operator algebras I, Springer, New York, 1979. 6) G. Takeuti, Two applications of logic to mathematics, Iwanami and Princeton University Press, Tokyo and Princeton, 1978. 7) G. Takeuti, Boolean valued analysis, Applications of Sheaves, Ed. by Fourman, Mulvey and Scott, 714-731, Lecture Notes in Math., 753, Springer, Berlin, 1979. 8) G. Takeuti, A transfer principle in harmonic analysis, J. Symbolic Logic, 44 (1979), 417-440. 9) G. Takeuti, Boolean completion and m-convergence, Categorical aspects of topologyand analysis, Ed. by B. Banaschewski, 333-350, Lecture Notes in Math., 915, Springer, Berlin, 1982. 10) G. Takeuti, Von Neumann algebras and Boolean valued analysis, J. Math. Soc. Japan, 35 (1983), 1-21. 11) G. Takeuti and W. M. Zaring, Axiomatic set theory, Springer, Heidelberg, 1973.
Right : [1] P. R. Halmos, Introduction to Hilbert space and the theory of spectral multiplicity, Chelsea, New York, 1951. [2] P. R. Halmos, Lectures on Boolean algebras, Van Nostrand, New York, 1963. [3] S. Mac Lane, Categories for the working mathematician, Springer, New York, 1971. [4] S. Sakai, C-Algebras and W-algebras, Springer, Berlin, 1971. [5] M. Takesaki, Theory of operator algebras I, Springer, New York, 1979. [6] G. Takeuti, Two applications of logic to mathematics, Iwanami and Princeton University Press, Tokyo and Princeton, 1978. [7] G. Takeuti, Boolean valued analysis, Applications of Sheaves, Ed. by Fourman, Mulvey and Scott, 714-731, Lecture Notes in Math., 753, Springer, Berlin, 1979. [8] G. Takeuti, A transfer principle in harmonic analysis, J. Symbolic Logic, 44 (1979), 417-440. [9] G. Takeuti, Boolean completion and m-convergence, Categorical aspects of topology and analysis, Ed. by B. Banaschewski, 333-350, Lecture Notes in Math., 915, Springer, Berlin, 1982. [10] G. Takeuti, Von Neumann algebras and Boolean valued analysis, J. Math. Soc. Japan, 35 (1983), 1-21. [11] G. Takeuti and W. M. Zaring, Axiomatic set theory, Springer, Heidelberg, 1973.