Dividing in the algebra of compact operators

Journal of Symbolic Logic 69 (3):817-829 (2004)
  Copy   BIBTEX

Abstract

We interpret the algebra of finite rank operators as imaginaries inside a Hilbert space. We prove that the Hilbert space enlarged with these imaginaries has built-in canonical bases

Categories

Keywords

Reprint years

DOI

10.2178/jsl/1096901769

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,261

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

Free łukasiewicz and hoop residuation algebras.Joel Berman & W. J. Blok - 2004 - Studia Logica 77 (2):153 - 180.
Persistence and atomic generation for varieties of Boolean algebras with operators.Robert Goldblatt - 2001 - Studia Logica 68 (2):155-171.
Information algebras and consequence operators.Jürg Kohlas & Robert F. Stärk - 2007 - Logica Universalis 1 (1):139-165.
The semijoin algebra and the guarded fragment.Dirk Leinders, Maarten Marx, Jerzy Tyszkiewicz & Jan Van den Bussche - 2005 - Journal of Logic, Language and Information 14 (3):331-343.
Quantum MV algebras.Roberto Giuntini - 1996 - Studia Logica 56 (3):393 - 417.
On Endomorphisms of Ockham Algebras with Pseudocomplementation.T. S. Blyth & J. Fang - 2011 - Studia Logica 98 (1-2):237-250.
Coordinate Formalism on Abstract Hilbert Space: Kinematics of a Quantum Measurement. [REVIEW]Alexey A. Kryukov - 2002 - Foundations of Physics 33 (3):407-443.
Constructive mathematics and unbounded operators — a reply to Hellman.Douglas S. Bridges - 1995 - Journal of Philosophical Logic 24 (5):549 - 561.
The Leibniz project.David Finkelstein - 1977 - Journal of Philosophical Logic 6 (1):425 - 439.

Analytics

Added to PP
2009-02-05

Downloads
210 (#96,558)

6 months
11 (#244,932)

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

Positive model theory and compact abstract theories.Itay Ben-Yaacov - 2003 - Journal of Mathematical Logic 3 (01):85-118.
Simplicity in compact abstract theories.Itay Ben-Yaacov - 2003 - Journal of Mathematical Logic 3 (02):163-191.
Simple stable homogeneous expansions of Hilbert spaces.Alexander Berenstein & Steven Buechler - 2004 - Annals of Pure and Applied Logic 128 (1-3):75-101.
Imaginaries in Hilbert spaces.Itay Ben-Yaacov & Alexander Berenstein - 2004 - Archive for Mathematical Logic 43 (4):459-466.

Add more references