Computable Gelfand Duality
Fuente:
arXiv
Saved in:
| Main Authors: | , , , , , , , |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866914721439940608 |
|---|---|
| author | Burton, Peter Eagle, Christopher J. Fox, Alec Goldbring, Isaac Harrison-Trainor, Matthew McNicholl, Timothy H. Melnikov, Alexander Thewmorakot, Teerawat |
| author_facet | Burton, Peter Eagle, Christopher J. Fox, Alec Goldbring, Isaac Harrison-Trainor, Matthew McNicholl, Timothy H. Melnikov, Alexander Thewmorakot, Teerawat |
| contents | We establish a computable version of Gelfand Duality. Under this computable duality, computably compact presentations of metrizable spaces uniformly effectively correspond to computable presentations of unital commutative $C^*$ algebras. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2402_16672 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Computable Gelfand Duality Burton, Peter Eagle, Christopher J. Fox, Alec Goldbring, Isaac Harrison-Trainor, Matthew McNicholl, Timothy H. Melnikov, Alexander Thewmorakot, Teerawat Logic Functional Analysis 03D78, 03D45, 46LO5 We establish a computable version of Gelfand Duality. Under this computable duality, computably compact presentations of metrizable spaces uniformly effectively correspond to computable presentations of unital commutative $C^*$ algebras. |
| title | Computable Gelfand Duality |
| topic | Logic Functional Analysis 03D78, 03D45, 46LO5 |
| url | https://arxiv.org/abs/2402.16672 |