mathmlben/data/246.json

Visualization for goldstandard

{
  "definitions": {
    "Con": [
      {
        "Q1319773": "Consistency"
      }
    ],
    "ZFC": [
      {
        "Q191849": "Zermelo–Fraenkel set theory"
      }
    ],
    "IFS_{W\\!Ab\\,L(V_{\\alpha})}": [
      {
        "Q792536": "Axiom schema"
      }
    ]
  },
  "constraints": [],
  "math_inputtex": "Con(ZFC+IFS_{W\\!Ab\\,L(V_{\\alpha})})",
  "math_inputtex_semantic": "\\wf{Q1319773}{\\operatorname{Con}}(\\w{Q191849}{\\operatorname{ZFC}} + \\w{Q792536}{\\operatorname{IFS}}_{\\operatorname{W\\!Ab}\\,\\wf{Q1151112}{L}(V_{\\alpha})})",
  "correct_tex": "Con(ZFC+IFS_{W\\!Ab\\,L(V_{\\alpha})})",
  "correct_mml": "<math xmlns=\"http://www.w3.org/1998/Math/MathML\"\n      xmlns:xlink=\"http://www.w3.org/1999/xlink\"\n      alttext=\"\\operatorname{Con}(\\operatorname{ZFC}+\\operatorname{IFS}_{\\operatorname{W\\!Ab}%&#xA;\\,L(V_{\\alpha})})\"\n      class=\"ltx_Math\"\n      display=\"inline\"\n      id=\"p1.1.m1.1\">\n  <semantics id=\"p1.1.m1.1a\">\n      <mrow id=\"p1.1.m1.1.14.2\" xref=\"p1.1.m1.1.14.1.cmml\">\n         <mi id=\"p1.1.m1.1.3\" xref=\"p1.1.m1.1.3.cmml\">Con</mi>\n         <mo id=\"p1.1.m1.1.14.2a\" xref=\"p1.1.m1.1.14.1.cmml\">⁡</mo>\n         <mrow id=\"p1.1.m1.1.14.2.2\" xref=\"p1.1.m1.1.14.1.cmml\">\n            <mo id=\"p1.1.m1.1.4\" stretchy=\"false\" xref=\"p1.1.m1.1.14.1.cmml\">(</mo>\n            <mrow id=\"p1.1.m1.1.14.2.1\" xref=\"p1.1.m1.1.14.2.1.cmml\">\n               <mi id=\"p1.1.m1.1.7\" xref=\"p1.1.m1.1.7.cmml\">ZFC</mi>\n               <mo id=\"p1.1.m1.1.8\" xref=\"p1.1.m1.1.8.cmml\">+</mo>\n               <msub id=\"p1.1.m1.1.14.2.1.1\" xref=\"p1.1.m1.1.14.2.1.1.cmml\">\n                  <mi id=\"p1.1.m1.1.11\" xref=\"p1.1.m1.1.11.cmml\">IFS</mi>\n                  <mrow id=\"p1.1.m1.1.12.1\" xref=\"p1.1.m1.1.12.1.cmml\">\n                     <mpadded id=\"p1.1.m1.1.12.1.11\" width=\"+1.7pt\" xref=\"p1.1.m1.1.12.1.11.cmml\">\n                        <mrow id=\"p1.1.m1.1.12.1.11a\" xref=\"p1.1.m1.1.12.1.11.cmml\">\n                           <mpadded id=\"p1.1.m1.1.12.1.1\" width=\"-1.7pt\" xref=\"p1.1.m1.1.12.1.1.cmml\">\n                              <mi id=\"p1.1.m1.1.12.1.1a\"\n                                  mathvariant=\"normal\"\n                                  xref=\"p1.1.m1.1.12.1.1.cmml\">W</mi>\n                           </mpadded>\n                           <mo id=\"p1.1.m1.1.12.1.11.1\" xref=\"p1.1.m1.1.12.1.11.1.cmml\">⁢</mo>\n                           <mi id=\"p1.1.m1.1.12.1.4\" xref=\"p1.1.m1.1.12.1.4.cmml\">Ab</mi>\n                        </mrow>\n                     </mpadded>\n                     <mo id=\"p1.1.m1.1.12.1a\" xref=\"p1.1.m1.1.12.1.cmml\">⁡</mo>\n                     <mrow id=\"p1.1.m1.1.12.1.12.2\" xref=\"p1.1.m1.1.12.1.12.1.cmml\">\n                        <mi id=\"p1.1.m1.1.12.1.6\" xref=\"p1.1.m1.1.12.1.6.cmml\">L</mi>\n                        <mo id=\"p1.1.m1.1.12.1.12.2a\" xref=\"p1.1.m1.1.12.1.12.1.cmml\">⁡</mo>\n                        <mrow id=\"p1.1.m1.1.12.1.12.2.2\" xref=\"p1.1.m1.1.12.1.12.1.cmml\">\n                           <mo id=\"p1.1.m1.1.12.1.7\"\n                               stretchy=\"false\"\n                               xref=\"p1.1.m1.1.12.1.12.1.cmml\">(</mo>\n                           <msub id=\"p1.1.m1.1.12.1.12.2.1\" xref=\"p1.1.m1.1.12.1.12.2.1.cmml\">\n                              <mi id=\"p1.1.m1.1.12.1.8\" xref=\"p1.1.m1.1.12.1.8.cmml\">V</mi>\n                              <mi id=\"p1.1.m1.1.12.1.9.1\" xref=\"p1.1.m1.1.12.1.9.1.cmml\">α</mi>\n                           </msub>\n                           <mo id=\"p1.1.m1.1.12.1.10\"\n                               stretchy=\"false\"\n                               xref=\"p1.1.m1.1.12.1.12.1.cmml\">)</mo>\n                        </mrow>\n                     </mrow>\n                  </mrow>\n               </msub>\n            </mrow>\n            <mo id=\"p1.1.m1.1.13\" stretchy=\"false\" xref=\"p1.1.m1.1.14.1.cmml\">)</mo>\n         </mrow>\n      </mrow>\n      <annotation-xml encoding=\"MathML-Content\" id=\"p1.1.m1.1b\">\n         <apply id=\"p1.1.m1.1.14.1.cmml\" xref=\"p1.1.m1.1.14.2\">\n            <csymbol cd=\"wikidata\" id=\"p1.1.m1.1.3.cmml\" xref=\"p1.1.m1.1.3\">Q1319773</csymbol>\n            <apply id=\"p1.1.m1.1.14.2.1.cmml\" xref=\"p1.1.m1.1.14.2.1\">\n               <plus id=\"p1.1.m1.1.8.cmml\" xref=\"p1.1.m1.1.8\"/>\n               <ci id=\"p1.1.m1.1.7.cmml\" xref=\"p1.1.m1.1.7\">ZFC</ci>\n               <apply id=\"p1.1.m1.1.14.2.1.1.cmml\" xref=\"p1.1.m1.1.14.2.1.1\">\n                  <ci id=\"p1.1.m1.1.11.cmml\" xref=\"p1.1.m1.1.11\">IFS</ci>\n                  <apply id=\"p1.1.m1.1.12.1.cmml\" xref=\"p1.1.m1.1.12.1\">\n                     <apply id=\"p1.1.m1.1.12.1.11.cmml\" xref=\"p1.1.m1.1.12.1.11\">\n                        <times id=\"p1.1.m1.1.12.1.11.1.cmml\" xref=\"p1.1.m1.1.12.1.11.1\"/>\n                        <ci id=\"p1.1.m1.1.12.1.1.cmml\" xref=\"p1.1.m1.1.12.1.1\">W</ci>\n                        <ci id=\"p1.1.m1.1.12.1.4.cmml\" xref=\"p1.1.m1.1.12.1.4\">Ab</ci>\n                     </apply>\n                     <apply id=\"p1.1.m1.1.12.1.12.1.cmml\" xref=\"p1.1.m1.1.12.1.12.2\">\n                        <csymbol cd=\"wikidata\" id=\"p1.1.m1.1.12.1.6.cmml\" xref=\"p1.1.m1.1.12.1.6\">Q1151112</csymbol>\n                        <apply id=\"p1.1.m1.1.12.1.12.2.1.cmml\" xref=\"p1.1.m1.1.12.1.12.2.1\">\n                           <ci id=\"p1.1.m1.1.12.1.8.cmml\" xref=\"p1.1.m1.1.12.1.8\">𝑉</ci>\n                           <ci id=\"p1.1.m1.1.12.1.9.1.cmml\" xref=\"p1.1.m1.1.12.1.9.1\">𝛼</ci>\n                        </apply>\n                     </apply>\n                  </apply>\n               </apply>\n            </apply>\n         </apply>\n      </annotation-xml>\n      <annotation encoding=\"application/x-tex\" id=\"p1.1.m1.1c\">\\operatorname{Con}(\\operatorname{ZFC}+\\operatorname{IFS}_{\\operatorname{W\\!Ab}%\n\\,L(V_{\\alpha})})</annotation>\n  </semantics>\n</math>\n",
  "uri": "https://arxiv.org/abs/math/9209209",
  "title": "Consistency proofs of ZFC extensions Context 2",
  "type": "general formula",
  "ntcir12-type": "27",
  "formula": "1_22.4",
  "page": "4",
  "ntcir12-relevance": "3"
}