{
  "id": "2401.10459",
  "version": "v1",
  "published": "2024-01-19T02:35:14.000Z",
  "updated": "2024-01-19T02:35:14.000Z",
  "title": "On the undefinability of pathological Banach spaces",
  "authors": [
    "Clovis Hamel",
    "Franklin D. Tall"
  ],
  "comment": "arXiv admin note: substantial text overlap with arXiv:2109.14513, arXiv:2004.06537",
  "categories": [
    "math.LO"
  ],
  "abstract": "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\\\"onig and N. Kuhn.",
  "revisions": [
    {
      "version": "v1",
      "updated": "2024-01-19T02:35:14.000Z"
    }
  ],
  "analyses": {
    "subjects": [
      "03C45",
      "03C66",
      "03C75",
      "03C95",
      "03C98",
      "46B99",
      "54A20",
      "54A30",
      "54H99"
    ],
    "keywords": [
      "undefinability",
      "first-order continuous logic",
      "explicitly defined banach spaces",
      "casazza gave",
      "tsirelsons implicitly defined pathological banach"
    ],
    "note": {
      "typesetting": "TeX",
      "pages": 0,
      "language": "en",
      "license": "arXiv",
      "status": "editable"
    }
  }
}