Resources for the mini-course on
Continuous model theory and operator algebras
Nashville, May, 2017


Lecture 1: Ultraproducts and continuous logic

Lecture 2: C*-algebras and II_1 factors

Lecture 3: Definable sets

Other useful links

Short course in continuous logic, Notre Dame, June 2016: included here are some historical remarks about continuous model theoy

(MTFMS) The book "Model theory for metric structures" by I. Ben Ya'acov, A. Berenstein, C. W. Henson and A. Usvyatsov

Slides from the special session on continuous model theory, ASL annual meeting, Mar. 2017

Here is a link to a course on continuous model theory I taught a few years ago

Paper by D. Sherman with historical remarks about ultraproducts

Introductory notes on von Neumann algebras for model theorists by I. Goldbring

ICM lecture by Ilijas Farah on Logic and Operator Algebras

(FHLRTVW) Preprint of a book by I. Farah, B. Hart, M. Lupini, L. Robert, A. Tikuisis, A. Vignati and W. Winter on Model theory and C*-algebras

(BCI) Article showing that there are continuum many theories of II_1 factors by R. Boutonnet, I. Chifan and A. Ioana; to appear in Duke

Here is an earlier tutorial by C. W. Henson at the Max Planck Institute in Bonn on continuous model theory

A tutorial at the 2005 Athens Logic Colloquium by I. Ben Ya'acov - where we came from or how far we've come