Model Theory of Operator Algebras

Continuous Model Theory Is An Extension Of Classical First Order Logic Which Is Best Suited For Classes Of Structures Which Are Endowed With A Metric. Applications Have Grown Considerably In The Past Decade. This Book Is Dedicated To Showing How The Techniques Of Continuous Model Theory Are Used To Study C*-algebras And Von Neumann Algebras. This Book Geared To Researchers In Both Logic And Functional Analysis Provides The First Self-contained Collection Of Articles Surveying The Many Applications Of Continuous Logic To Operator Algebras That Have Been Obtained In The Last 15 Years. Frontmatter -- Preface -- Contents -- Introduction To C∗-algebras -- An Introduction To Von Neumann Algebras -- An Introduction To Continuous Model Theory -- A Survey On The Model Theory Of Tracial Von Neumann Algebras -- Model Theory Of Probability Spaces -- Free Probability And Model Theory Of Tracial W∗-algebras -- Tensor Product Indecomposability Results For Existentially Closed Factors -- Introduction To Nontracial Ultraproducts Of Von Neumann Algebras -- Model Theory Of Operator Systems And C∗-algebras -- Model Theory Of G-c*-algebras And Order Zero Dimension -- Model Theory And Ultrapower Embedding Problems In Operator Algebras -- Fraïssé Theory In Operator Algebras -- Index Ed. By Isaac Goldbring. Issued Also In Print. Mode Of Access: Internet Via World Wide Web. In English.