{
  "id": "1207.4414",
  "version": "v1",
  "published": "2012-07-18T17:05:07.000Z",
  "updated": "2012-07-18T17:05:07.000Z",
  "title": "Model-theoretic characterization of intuitionistic propositional formulas",
  "authors": [
    "Grigory K. Olkhovikov"
  ],
  "comment": "16 pages, 0 figures. arXiv admin note: substantial text overlap with arXiv:1202.1195",
  "categories": [
    "math.LO"
  ],
  "abstract": "Notions of k-asimulation and asimulation are introduced as asymmetric counterparts to k-bisimulation and bisimulation, respectively. It is proved that a first-order formula is equivalent to a standard translation of an intuitionistic propositional formula iff it is invariant with respect to k-asimulations for some k, and then that a first-order formula is equivalent to a standard translation of an intuitionistic propositional formula iff it is invariant with respect to asimulations. Finally, it is proved that a first-order formula is intuitionistically equivalent to a standard translation of an intuitionistic propositional formula iff it is invariant with respect to asimulations between intuitionistic models.",
  "revisions": [
    {
      "version": "v1",
      "updated": "2012-07-18T17:05:07.000Z"
    }
  ],
  "analyses": {
    "keywords": [
      "intuitionistic propositional formula",
      "model-theoretic characterization",
      "standard translation",
      "first-order formula",
      "equivalent"
    ],
    "note": {
      "typesetting": "TeX",
      "pages": 16,
      "language": "en",
      "license": "arXiv",
      "status": "editable",
      "adsabs": "2012arXiv1207.4414O"
    }
  }
}