{
  "id": "1108.2499",
  "version": "v1",
  "published": "2011-08-11T19:39:00.000Z",
  "updated": "2011-08-11T19:39:00.000Z",
  "title": "Definability of types over finite partial order indiscernibles",
  "authors": [
    "Vincent Guingona"
  ],
  "comment": "25 pages",
  "categories": [
    "math.LO"
  ],
  "abstract": "In this paper, we show that a partitioned formula \\phi is dependent if and only if \\phi has uniform definability of types over finite partial order indiscernibles. This generalizes our result from a previous paper [1]. We show this by giving a decomposition of the truth values of an externally definable formula on a finite partial order indiscernible.",
  "revisions": [
    {
      "version": "v1",
      "updated": "2011-08-11T19:39:00.000Z"
    }
  ],
  "analyses": {
    "subjects": [
      "03C45"
    ],
    "keywords": [
      "finite partial order indiscernible",
      "uniform definability",
      "truth values",
      "decomposition",
      "externally definable formula"
    ],
    "note": {
      "typesetting": "TeX",
      "pages": 25,
      "language": "en",
      "license": "arXiv",
      "status": "editable",
      "adsabs": "2011arXiv1108.2499G"
    }
  }
}