Powers of positive elements in C*-algebras

✍ Scribed by Hiroki Takamura

• Publisher: John Wiley and Sons
• Year: 2011
• Tongue: English
• Weight: 78 KB
• Volume: 57
• Category: Article
• ISSN: 0044-3050
• DOI: 10.1002/malq.201010024

✦ Synopsis

In this paper, we show that Ogasawa's theorem has a proof in Bishop style constructive mathematics (BISH). In [25], we introduced the elementary constructive theory of C * -algebras in BISH, but we did not discuss the powers of positive elements there.