An invitation to model theory and C*-algebras

TL;DR

This paper provides an introductory survey on the application of first order logic for metric structures to the study of C*-algebras, bridging model theory and operator algebras.

Contribution

It introduces the foundational concepts of model theory for metric structures and explores their relevance to C*-algebras, highlighting new interdisciplinary connections.

Findings

Establishes a framework connecting model theory and C*-algebras

Provides foundational knowledge for further research in the area

Highlights potential applications of logic in operator algebras

Abstract

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