An invitation to model theory and C*-algebras

2017/08/06 by Lupini, Martino
#03C07 #46L05 (Primary) 03C20 #46L35 (Secondary) #FOS: Mathematics #Logic (math.LO) #Operator Algebras (math.OA)

paper · doi:10.48550/arxiv.1708.01828

Abstract

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

Related

• Model theory of operator algebras II: Model theory
• Model theory of C^*-algebras
• Metric logical categories and conceptual completeness for first order continuous logic
• Model Theory for Real-valued Structures
• Model Theory of Operator Systems and C^*-Algebras