Evaluative presentations
Fuente:
arXiv
Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2024
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866916168321728512 |
|---|---|
| author | McNicholl, Timothy H. |
| author_facet | McNicholl, Timothy H. |
| contents | We study presentations of $C^*(X)$ that are evaluative over a presentation of $X$ in that $(f,p) \mapsto f(p)$ is computable. We prove existence-uniqueness theorems for such presentations. We use our methods to prove an effective Banach-Stone Theorem for unital commutative $C^*$ algebras. We also apply our results to the computable categoricity of $C^*$ algebras and compact Polish spaces. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2403_13616 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Evaluative presentations McNicholl, Timothy H. Logic 03D78 We study presentations of $C^*(X)$ that are evaluative over a presentation of $X$ in that $(f,p) \mapsto f(p)$ is computable. We prove existence-uniqueness theorems for such presentations. We use our methods to prove an effective Banach-Stone Theorem for unital commutative $C^*$ algebras. We also apply our results to the computable categoricity of $C^*$ algebras and compact Polish spaces. |
| title | Evaluative presentations |
| topic | Logic 03D78 |
| url | https://arxiv.org/abs/2403.13616 |