On the undefinability of pathological Banach spaces
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_ | 1866917570539421696 |
|---|---|
| author | Hamel, Clovis Tall, Franklin D. |
| author_facet | Hamel, Clovis Tall, Franklin D. |
| contents | Motivated by Tsirelson's implicitly defined pathological Banach space, T. Gowers asked whether explicitly defined Banach spaces must include either $c_0$ or some $\ell^p$. J. Iovino and P. Casazza gave an affirmative answer for first-order continuous logic. We greatly extend their work to logics with much weaker requirements than compactness on their type spaces. Noteworthy is our extensive use of the topology of function spaces ($C_p$-theory) as developed by Arhangel'skii, and our use of double limit conditions studied by H. König and N. Kuhn. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2401_10459 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | On the undefinability of pathological Banach spaces Hamel, Clovis Tall, Franklin D. Logic 03C45, 03C66, 03C75, 03C95, 03C98, 46B99, 54A20, 54A30, 54H99 Motivated by Tsirelson's implicitly defined pathological Banach space, T. Gowers asked whether explicitly defined Banach spaces must include either $c_0$ or some $\ell^p$. J. Iovino and P. Casazza gave an affirmative answer for first-order continuous logic. We greatly extend their work to logics with much weaker requirements than compactness on their type spaces. Noteworthy is our extensive use of the topology of function spaces ($C_p$-theory) as developed by Arhangel'skii, and our use of double limit conditions studied by H. König and N. Kuhn. |
| title | On the undefinability of pathological Banach spaces |
| topic | Logic 03C45, 03C66, 03C75, 03C95, 03C98, 46B99, 54A20, 54A30, 54H99 |
| url | https://arxiv.org/abs/2401.10459 |