{
  "id": "1304.5208",
  "version": "v6",
  "published": "2013-04-18T18:18:14.000Z",
  "updated": "2019-05-30T16:46:56.000Z",
  "title": "Omitting types for infinitary [0, 1]-valued logic",
  "authors": [
    "Christopher J. Eagle"
  ],
  "comment": "22 pages",
  "journal": "Annals of Pure and Applied Logic 165 (2014) pp. 913-932",
  "doi": "10.1016/j.apal.2013.11.006",
  "categories": [
    "math.LO"
  ],
  "abstract": "We describe an infinitary logic for metric structures which is analogous to $L_{\\omega_1, \\omega}$. We show that this logic is capable of expressing several concepts from analysis that cannot be expressed in finitary continuous logic. Using topological methods, we prove an omitting types theorem for countable fragments of our infinitary logic. We use omitting types to prove a two-cardinal theorem, which yields a strengthening of a result of Ben Yaacov and Iovino concerning separable quotients of Banach spaces.",
  "revisions": [
    {
      "version": "v5",
      "updated": "2013-12-11T17:36:04.000Z",
      "authors": [
        "Christopher Eagle"
      ]
    },
    {
      "version": "v6",
      "updated": "2019-05-30T16:46:56.000Z"
    }
  ],
  "analyses": {
    "keywords": [
      "infinitary logic",
      "banach spaces",
      "metric structures",
      "iovino concerning separable quotients",
      "ben yaacov"
    ],
    "tags": [
      "journal article"
    ],
    "publication": {
      "publisher": "Elsevier"
    },
    "note": {
      "typesetting": "TeX",
      "pages": 22,
      "language": "en",
      "license": "arXiv",
      "status": "editable",
      "adsabs": "2013arXiv1304.5208E"
    }
  }
}