arXiv Analytics

Sign in

arXiv:1708.01828 [math.LO]AbstractReferencesReviewsResources

An invitation to model theory and C*-algebras

Martino Lupini

Published 2017-08-06Version 1

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

Categories: math.LO, math.OA
Subjects: 03C07, 46L05, 03C20, 46L35
Related articles: Most relevant | Search more
arXiv:1004.0741 [math.LO] (Published 2010-04-06, updated 2013-07-14)
Model theory of operator algebras II: Model theory
arXiv:1303.5247 [math.LO] (Published 2013-03-21, updated 2015-11-17)
Model Theory for a Compact Cardinal
arXiv:1511.05221 [math.LO] (Published 2015-11-16)
Weak Godel's incompleteness property for some decidable versions of first order logic

Links

Toolbox