Model theory for operator algebras

点击翻译按钮获取中文摘要

本研究では，von Neumann環と呼ばれる作用素環に対して適切なモデル理論を発展させ，作用素環論において基本的な役割を果たす対象に対して集合論的な解釈を与えることで，集合論の技法や理論を応用できるような作用素環論の範囲を可能な限り拡大することを目標としている．当該年度においては，C.C.ChangとH.J.Keislerの意味においてモデル理論の真理値空間として適切な空間として前年度に見出したもの（Hilbert空間上の半正定値縮小作用素全体の空間，Hilbert空間上の直交射影全体の空間，Banach*環上の正値線型汎関数のうち，特定の正値線型汎関数によって抑えられるようなもの全体）について，これらを実際に真理値空間として採用した場合のモデル理論に特有の現象を，現在これらの空間について作用素環論の立場から知られている事実と照らし合わせながら考察した．また，特にHilbert空間上の半正定値縮小作用素全体の空間を真理値空間として採用した場合について，これを連続論理と量子論理の共通の一般化であるような論理に対応するモデル理論と考え，そのような論理の具体的な公理化の方法や可能性について検討した．さらに，古典的なモデル理論と連続論理のモデル理論の両方において共通に知られている基本的な構造の構成方法について，新しい真理値空間を採用したモデル理論での類似の構成が可能かどうかの検討を始めた．