Logic and operator algebras

The most recent wave of applications of logic to operator algebras is a young and rapidly developing field. This is a snapshot of the current state of the art.Comment: A minor chang