REVIEW
Model theory of a non-degenerate representation of a unital C*-algebra
Not yet reviewed by Pith; the record is open.
This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.
SPECIMEN: schema-true, not a live event
T0 review · schema-true
One-sentence machine reading of the paper's core claim.
pith:XXXXXXXX · record.json · timestamp
Model theory of a non-degenerate representation of a unital C*-algebra
read the original abstract
We study the theory of a Hilbert space H as a module for a unital C*-algebra A from the point of view of continuous logic. We give an explicit axiomatization for this theory and describe the structure of all the representations which are elementary equivalent to it. We show that for every v in H the type of v over the empmtyset is in correspondence with the positive linear functional over A defined by v and has quantifier elimination as well. Finally, we characterize the model companion of the incomplete theory of all non-degenerate representations of A.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.