訂正日: 2006/10/20訂正理由: -訂正箇所: 引用文献情報訂正内容: Wrong : 1) J. Diximier, Les algèbres d'opérateurs Bans l'espace Hilbertien, 2nd. ed., Gauthier-Villars. Paris, 1969. 2) F. J. Murray and J. von Neumann, On rings of operators, Ann. of Math., 37(1936), 116-229. 3) M. Takesaki, Theory of operator algebra I, Springer, New York, 1979. 4) M. Takesaki, Duality for crossed products and the structure of von Neumann algebras of type III, Acta Math., 131(1973), 249-310. 5) G. Takeuti, Two applications of logic to mathematics, Iwanami and Princeton University Press, Tokyo and Princeton, 1978. 6) G. Takeuti, Boolean valued analysis, Applications of sheaves, Ed. by Fourman, Mulvey and Scott, 714-731, Lecture Notes in Math., 753, Springer, 1979. 7) G. Takeuti, A transfer principle in harmonic analysis, J. Symbolic Logic, 44 (1979), 417-440. 8) 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, 1982.
Right : [1] J. Diximier, Les algèbres d'opérateurs dans l'espace Hilbertien, 2nd. ed., Gauthier-Villars. Paris, 1969. [2] F. J. Murray and J. von Neumann, On rings of operators, Ann. of Math., 37(1936), 116-229. [3] M. Takesaki, Theory of operator algebra I, Springer, New York, 1979. [4] M. Takesaki, Duality for crossed products and the structure of von Neumann algebras of type III, Acta Math., 131(1973), 249-310. [5] G. Takeuti, Two applications of logic to mathematics, Iwanami and Princeton University Press, Tokyo and Princeton, 1978. [6] G. Takeuti, Boolean valued analysis, Applications of sheaves, Ed. by Fourman, Mulvey and Scott, 714-731, Lecture Notes in Math., 753, Springer, 1979. [7] G. Takeuti, A transfer principle in harmonic analysis, J. Symbolic Logic, 44 (1979), 417-440. [8] 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, 1982.