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.

Other Versions

No versions found

Similar books and articles

Constructive compact operators on a Hilbert space.Hajime Ishihara - 1991 - Annals of Pure and Applied Logic 52 (1-2):31-37.
Hilbert Algebras with Hilbert-Galois Connections II.Sergio A. Celani & Daniela Montagie - 2024 - Bulletin of the Section of Logic 53 (4):535-554.
Some Calkin algebras have outer automorphisms.Ilijas Farah, Paul McKenney & Ernest Schimmerling - 2013 - Archive for Mathematical Logic 52 (5):517-524.
Imaginaries in Hilbert spaces.Itay Ben-Yaacov & Alexander Berenstein - 2004 - Archive for Mathematical Logic 43 (4):459-466.
Definable Operators on Hilbert Spaces.Isaac Goldbring - 2012 - Notre Dame Journal of Formal Logic 53 (2):193-201.
The logic of quantum systems with diagonal singularities.I. Antoniou & Z. Suchanecki - 1994 - Foundations of Physics 24 (10):1439-1457.
The model theory of modules of a C*-algebra.Camilo Argoty - 2013 - Archive for Mathematical Logic 52 (5-6):525-541.

Analytics

Added to PP
2009-02-05

Downloads
323 (#138,444)

6 months
17 (#661,872)

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 (1):85-118.
Simplicity in compact abstract theories.Itay Ben-Yaacov - 2003 - Journal of Mathematical Logic 3 (2):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