An Introduction To Continuous Model Theory
Operator Algebras
2023-03-08 v1 Logic
Abstract
We present an introduction to modern continuous model theory with an emphasis on its interactions with topics covered in this volume such as -algebras and von Neumann algebras. The role of ultraproducts is highlighted and expositions of definable sets, imaginaries, quantifier elimination and separable categoricity are included.
Cite
@article{arxiv.2303.03969,
title = {An Introduction To Continuous Model Theory},
author = {Bradd Hart},
journal= {arXiv preprint arXiv:2303.03969},
year = {2023}
}
Comments
53 pages; first draft; comments welcome; to appear in the volume "Model theory of operator algebras" as part of DeGruyter's Logic and its Application Series