data/246.json
{
"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}%
\\,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"
}