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: |
|