|
|||||
|
|
Omitting types and AF algebras |
|
| Authors: | Kevin Carlson Enoch Cheung Ilijas Farah Alexander Gerhardt-Bourke Bradd Hart Leanne Mezuman Nigel Sequeira Alexander Sherman |
| Institution: | 1. Department of Mathematics, Indiana University, Bloomington, IN, 47408, USA 9. Department of Pure Mathematics and Mathematical Statistics, University of Cambridge, Cambridge, UK 10. Department of Mathematical Sciences, Carnegie Mellon University, Wean Hall 6113, Pittsburgh, PA, 15213, USA 2. Department of Mathematics, University of California, Berkeley, 970 Evans Hall, Berkeley, CA, 94720, USA 3. Department of Mathematics and Statistics, York University, 4700 Keele Street, North York, ON, M3J 1P3, Canada 4. Matematicki Institut, Kneza Mihaila 35, Belgrade, Serbia 5. School of Mathematics and Applied Statistics, University of Wollongong, Wollongong, NSW, 2522, Australia 6. Department of Mathematics and Statistics, McMaster University, 1280 Main Street, West Hamilton, ON, L8S 4K1, Canada 7. Department of Mathematics and Statistics, University of Guelph, 50 Stone Road East, Guelph, ON, N1G 2W1, Canada 11. Institute for Logic, Language, and Computation, Universiteit van Amsterdam, 1090, Amsterdam, GE, The Netherlands 8. Department of Mathematics, University of Maryland, College Park, MD, 20742-4015, USA |
| Abstract: | We prove that the classes of UHF algebras and AF algebras, while not axiomatizable, can be characterized as those C*-algebras that omit certain types in the logic of metric structures. |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |