An Introduction To Continuous Model Theory
Autor: | Hart, Bradd |
---|---|
Rok vydání: | 2023 |
Předmět: | |
Druh dokumentu: | Working Paper |
Popis: | We present an introduction to modern continuous model theory with an emphasis on its interactions with topics covered in this volume such as $C^*$-algebras and von Neumann algebras. The role of ultraproducts is highlighted and expositions of definable sets, imaginaries, quantifier elimination and separable categoricity are included. Comment: 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 |
Databáze: | arXiv |
Externí odkaz: |