{
  "id": "math/9809191",
  "version": "v1",
  "published": "1998-09-30T19:24:06.000Z",
  "updated": "1998-09-30T19:24:06.000Z",
  "title": "Model companions of theories with an automorphism",
  "authors": [
    "Hirotaka Kikyo"
  ],
  "categories": [
    "math.LO"
  ],
  "abstract": "For a theory $T$ in $L, T_\\sigma$ is the theory of the models of $T$ with an automorphism $\\sigma$. If $T$ is an unstable model complete theory without the independence property, then $T_\\sigma$ has no model companion. If $T$ is an unstable model complete theory and $T_\\sigma$ has the amalgamation property, then $T_\\sigma$ has no model companion. If $T$ is model complete and has the fcp, then $T_\\sigma$ has no model completion.",
  "revisions": [
    {
      "version": "v1",
      "updated": "1998-09-30T19:24:06.000Z"
    }
  ],
  "analyses": {
    "keywords": [
      "model companion",
      "unstable model complete theory",
      "automorphism",
      "independence property"
    ],
    "note": {
      "typesetting": "TeX",
      "pages": 0,
      "language": "en",
      "license": "arXiv",
      "status": "editable",
      "adsabs": "1998math......9191K"
    }
  }
}