Constructive Gelfand duality for C*-algebras
Constructive Gelfand duality for C*-algebras
复制标题
DOI:
10.1017/s0305004109002539
复制
发表时间:
2008-08
影响因子:
0.8
通讯作者:
T. Coquand;Bas Spitters
中科院分区:
文献类型:
--
作者:
T. Coquand;Bas Spitters
Abstract We present a constructive proof of Gelfand duality for C*-algebras by reducing the problem to Gelfand duality for real C*-algebras.