Related papers: Model theory of $\mathrm{C}^*$-algebras

We survey the model theory of operator systems and C$^*$-algebras.

We present an introductory survey to first order logic for metric structures and its applications to C*-algebras.

We propose a new framework that generalizes the parameters of neural network models to $C^*$-algebra-valued ones. $C^*$-algebra is a generalization of the space of complex numbers. A typical example is the space of continuous functions on a…

This research notes is intended to provide a quick introduction to the subject. We expose a K-theoretic approach to study group C*-algebras: started in the elementary part, with one example of description of the structure of C*-algebras of…

We present an introduction to modern continuous model theory with an emphasis on its interactions with topics covered in this volume such as $C^*$-algebras and von Neumann algebras. The role of ultraproducts is highlighted and expositions…

We survey the use of extra-set-theoretic hypotheses, mainly the continuum hypothesis, in the C*-algebra literature. The Calkin algebra emerges as a basic object of interest.

We study the representation theory and enveloping $C^*$-algebras for Wick analogues of CAR and twisted CAR algebras. The realization of the $C^*$-algebras under consideration as algebras of continuous matrix-functions satisfying certain…

We introduce a method to define $C^*$-algebras from $C^*$-correspondences. Our construction generalizes Cuntz-Pimsner algebras, crossed products by Hilbert $C^*$-modules, and graph algebras.

In this work we construct from ground up a homotopy theory of C*-algebras. This is achieved in parallel with the development of classical homotopy theory by first introducing an unstable model structure and second a stable model structure.…

We initiate the study of computable presentations of real and complex C*-algebras under the program of effective metric structure theory. With the group situation as a model, we develop corresponding notions of recursive presentations and…

We associate reduced and full C*-algebras to arbitrary rings and study the inner structure of these ring C*-algebras. As a result, we obtain conditions for them to be purely infinite and simple. We also discuss several examples.…

We introduce a notion of a uniform structure on the set of all representations of a given separable, not necessarilly commutative $C^*$-algebra $\mathfrak{A}$ by introducing a suitable family of metrics on the set of representations of…

We study the elementary C*-algebra whose elements are the sum of a diagonal plus a compact operator. We describe the structure of the unitary group, the sets of ideals, automorhisms and projections.

We introduce the notion of stationary actions in the context of C*-algebras. We develop the basics of the theory, and provide applications to several ergodic theoretical and operator algebraic rigidity problems.

We consider operators on $L^2$ spaces that expand the support of vectors in a manner controlled by some constraint function. The primary objects of study are $\mathrm C^*$-algebras that arise from suitable families of constraints, which we…

We introduce the notion of a (noncommutative) C*-Segal algebra as a Banach algebra which is a dense ideal in a C*-algebra. Several basic properties are investigated and, with the aid of the theory of multiplier modules, the structure of…

We define a categorical framework in which we build a systematic construction that provides generic invariants for C*-algebras. The benefit is significant as we show that any invariant arising this way automatically enjoys nice properties…

The construction of the C*-algebra associated to a directed graph $E$ is extended to incorporate a family $C$ consisting of partitions of the sets of edges emanating from the vertices of $E$. These C*-algebras $C^*(E,C)$ are analyzed in…

In this note we extend the construction of a $C^*$-algebra associated to a self-similar graph to the case of arbitrary countable graphs. We reduce the problem to the row-finite case with no sources, by using a desingularization process.…

We study $C^*$-algebras arising from $C^*$-correspondences, which was introduced by the author. We prove the gauge-invariant uniqueness theorem, and obtain conditions for our $C^*$-algebras to be nuclear, exact, or satisfy the Universal…