{ "id": "1708.01828", "version": "v1", "published": "2017-08-06T01:07:28.000Z", "updated": "2017-08-06T01:07:28.000Z", "title": "An invitation to model theory and C*-algebras", "authors": [ "Martino Lupini" ], "categories": [ "math.LO", "math.OA" ], "abstract": "We present an introductory survey to first order logic for metric structures and its applications to C*-algebras.", "revisions": [ { "version": "v1", "updated": "2017-08-06T01:07:28.000Z" } ], "analyses": { "subjects": [ "03C07", "46L05", "03C20", "46L35" ], "keywords": [ "model theory", "invitation", "first order logic", "introductory survey" ], "note": { "typesetting": "TeX", "pages": 0, "language": "en", "license": "arXiv", "status": "editable" } } }