Submission date: 6 August 2017

Abstract:

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

Mathematics Subject Classification: 03C07, 46L05 (Primary) 03C20, 46L35 (Secondary)

Keywords and phrases:

Full text arXiv 1708.01828: pdf, ps.