No CrossRef data available.
Article contents
COMPUTABLE PRESENTATIONS OF C*-ALGEBRAS
Published online by Cambridge University Press: 20 April 2023
Abstract
We initiate the study of computable presentations of real and complex C*-algebras under the program of effective metric structure theory. With the group situation as a model, we develop corresponding notions of recursive presentations and word problems for C*-algebras, and show some analogous results hold in this setting. Famously, every finitely generated group with a computable presentation is computably categorical, but we provide a counterexample in the case of C*-algebras. On the other hand, we show every finite-dimensional C*-algebra is computably categorical.
MSC classification
- Type
- Article
- Information
- Copyright
- © The Author(s), 2023. Published by Cambridge University Press on behalf of The Association for Symbolic Logic
References
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20230513073803885-0282:S0022481223000233:S0022481223000233_inline1304.png?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20230513073803885-0282:S0022481223000233:S0022481223000233_inline1305.png?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20230513073803885-0282:S0022481223000233:S0022481223000233_inline1306.png?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20230513073803885-0282:S0022481223000233:S0022481223000233_inline1307.png?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20230513073803885-0282:S0022481223000233:S0022481223000233_inline1308.png?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20230513073803885-0282:S0022481223000233:S0022481223000233_inline1309.png?pub-status=live)