Powers of positive elements in C *-algebras

Mathematical Logic Quarterly 57 (5):481-484 (2011)
  Copy   BIBTEX

Abstract

In this paper, we show that Ogasawa’s theorem has a proof in Bishop style constructive mathematics . In 25, we introduced the elementary constructive theory of C*-algebras in BISH, but we did not discuss the powers of positive elements there. © 2011 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim

Categories

Keywords

Reprint years

DOI

10.1002/malq.201010024

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,846

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

The Intimate Relationship Between the McNaughton and the Chinese Remainder Theorems for MV-algebras.Eduardo J. Dubuc & Yuri Poveda - 2013 - Studia Logica 101 (3):483-485.
On ockham algebras: Congruence lattices and subdirectly irreducible algebras.P. Garcia & F. Esteva - 1995 - Studia Logica 55 (2):319 - 346.
Free Algebras in Varieties of Glivenko MTL-Algebras Satisfying the Equation 2(x²) = (2x)².Roberto Cignoli & Antoni Torrens Torrell - 2006 - Studia Logica 83 (1-3):157 - 181.
Groups and algebras of binary relations.Steven Givant & Hajnal Andréka - 2002 - Bulletin of Symbolic Logic 8 (1):38-64.
The theory of Boolean algebras with an additional binary operation.Bronis?aw Tembrowski - 1983 - Studia Logica 42 (4):389 - 405.
The Dual Adjunction between MV-algebras and Tychonoff Spaces.Vincenzo Marra & Luca Spada - 2012 - Studia Logica 100 (1-2):253-278.
Plain semi-post algebras as a poset-based generalization of post algebras and their representability.Nguyen Cat Ho & Helena Rasiowa - 1989 - Studia Logica 48 (4):509 - 530.
Varieties of pseudo-interior algebras.Barbara Klunder - 2000 - Studia Logica 65 (1):113-136.
Stability of representations of effective partial algebras.Jens Blanck, Viggo Stoltenberg-Hansen & John V. Tucker - 2011 - Mathematical Logic Quarterly 57 (2):217-231.
Bounded BCK‐algebras and their generated variety.Joan Gispert & Antoni Torrens - 2007 - Mathematical Logic Quarterly 53 (2):206-213.

Analytics

Added to PP
2013-12-01

Downloads
51 (#311,860)

6 months
2 (#1,196,523)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Foundations of Constructive Analysis.John Myhill - 1972 - Journal of Symbolic Logic 37 (4):744-747.
Constructive compact operators on a Hilbert space.Hajime Ishihara - 1991 - Annals of Pure and Applied Logic 52 (1-2):31-37.

Add more references