FRINK Linked Data Fragments server

Matches in Wikidata for { <http://www.wikidata.org/entity/Q622185> ?p ?o ?g. }

• Q622185 description "axiom in mathematical logic that all cardinals less than the cardinality of the continuum behave like ℵ₀ in a specific sense" @default.
• Q622185 description "założenie o porządku zbiorów" @default.
• Q622185 description "실수 집합의 크기보다 더 작은 집합들은 가산 집합과 유사한 성질을 갖는다는 명제" @default.
• Q622185 name "Aksjomat Martina" @default.
• Q622185 name "Axioma de Martin" @default.
• Q622185 name "Axioma de Martin" @default.
• Q622185 name "Axiome de Martin" @default.
• Q622185 name "Martin's axiom" @default.
• Q622185 name "Martins Axiom" @default.
• Q622185 name "aksiomo de Martin" @default.
• Q622185 name "Аксиома Мартина" @default.
• Q622185 name "Аксіома Мартіна" @default.
• Q622185 name "אקסיומת מרטין" @default.
• Q622185 name "マーティンの公理" @default.
• Q622185 name "馬丁公理" @default.
• Q622185 name "馬丁公理" @default.
• Q622185 name "马丁公理" @default.
• Q622185 name "马丁公理" @default.
• Q622185 name "마틴 공리" @default.
• Q622185 type Item @default.
• Q622185 label "Aksjomat Martina" @default.
• Q622185 label "Axioma de Martin" @default.
• Q622185 label "Axioma de Martin" @default.
• Q622185 label "Axiome de Martin" @default.
• Q622185 label "Martin's axiom" @default.
• Q622185 label "Martins Axiom" @default.
• Q622185 label "aksiomo de Martin" @default.
• Q622185 label "Аксиома Мартина" @default.
• Q622185 label "Аксіома Мартіна" @default.
• Q622185 label "אקסיומת מרטין" @default.
• Q622185 label "マーティンの公理" @default.
• Q622185 label "馬丁公理" @default.
• Q622185 label "馬丁公理" @default.
• Q622185 label "马丁公理" @default.
• Q622185 label "马丁公理" @default.
• Q622185 label "마틴 공리" @default.
• Q622185 altLabel "MA" @default.
• Q622185 altLabel "Martin-a aksiomo" @default.
• Q622185 altLabel "马丁公理" @default.
• Q622185 prefLabel "Aksjomat Martina" @default.
• Q622185 prefLabel "Axioma de Martin" @default.
• Q622185 prefLabel "Axioma de Martin" @default.
• Q622185 prefLabel "Axiome de Martin" @default.
• Q622185 prefLabel "Martin's axiom" @default.
• Q622185 prefLabel "Martins Axiom" @default.
• Q622185 prefLabel "aksiomo de Martin" @default.
• Q622185 prefLabel "Аксиома Мартина" @default.
• Q622185 prefLabel "Аксіома Мартіна" @default.
• Q622185 prefLabel "אקסיומת מרטין" @default.
• Q622185 prefLabel "マーティンの公理" @default.
• Q622185 prefLabel "馬丁公理" @default.
• Q622185 prefLabel "馬丁公理" @default.
• Q622185 prefLabel "马丁公理" @default.
• Q622185 prefLabel "马丁公理" @default.
• Q622185 prefLabel "마틴 공리" @default.
• Q622185 P10376 Q622185-8c3f4f6a-449b-9664-38ad-94a6e55af411 @default.
• Q622185 P1813 Q622185-13489460-44e5-4695-420c-5a5be9456f35 @default.
• Q622185 P2534 Q622185-7097d7dc-47cc-efef-2a22-ceeb1fce4cc9 @default.
• Q622185 P31 Q622185-8b21909f-419e-a7da-797c-12b2b0d89aac @default.
• Q622185 P3827 Q622185-E96D653D-9988-42D3-A610-B904B26B6BBD @default.
• Q622185 P6104 Q622185-642C0804-9AEA-487D-ACFF-961AF70A3C93 @default.
• Q622185 P6366 Q622185-E1B144AF-0C7E-4E03-B3CB-59D9D22C4C23 @default.
• Q622185 P646 Q622185-63E09FC0-E353-4A10-8AAD-6A300CF2EA37 @default.
• Q622185 P7235 Q622185-0082b0e9-4042-95cc-c2ba-272dc7caf6d9 @default.
• Q622185 P7235 Q622185-d0862f92-4ba5-069e-7ce4-b740cd6b6066 @default.
• Q622185 P6366 2780461955 @default.
• Q622185 P10376 "mathematics/martins-axiom" @default.
• Q622185 P1813 "MA" @default.
• Q622185 P2534 "<math xmlns="http://www.w3.org/1998/Math/MathML" display="block" alttext="{\displaystyle \forall \kappa <{\mathfrak {c}}\forall P\in \operatorname {Poset_{ccc}} \forall {\mathcal {D}}\subset \operatorname {Dense} (P)\colon |{\mathcal {D}}|<\kappa \implies (\exists F\in \operatorname {Filter} (P)\forall D\in {\mathcal {D}}\colon D\cap F\neq \varnothing )}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi mathvariant="normal">&#x2200;<!-- ∀ --></mi> <mi>&#x03BA;<!-- κ --></mi> <mo><</mo> <mrow class="MJX-TeXAtom-ORD"> <mrow class="MJX-TeXAtom-ORD"> <mi mathvariant="fraktur">c</mi> </mrow> </mrow> <mi mathvariant="normal">&#x2200;<!-- ∀ --></mi> <mi>P</mi> <mo>&#x2208;<!-- ∈ --></mo> <mrow class="MJX-TeXAtom-OP MJX-fixedlimits"> <mi mathvariant="normal">P</mi> <mi mathvariant="normal">o</mi> <mi mathvariant="normal">s</mi> <mi mathvariant="normal">e</mi> <msub> <mi mathvariant="normal">t</mi> <mrow class="MJX-TeXAtom-ORD"> <mi mathvariant="normal">c</mi> <mi mathvariant="normal">c</mi> <mi mathvariant="normal">c</mi> </mrow> </msub> </mrow> <mo>&#x2061;<!-- ⁡ --></mo> <mi mathvariant="normal">&#x2200;<!-- ∀ --></mi> <mrow class="MJX-TeXAtom-ORD"> <mrow class="MJX-TeXAtom-ORD"> <mi class="MJX-tex-caligraphic" mathvariant="script">D</mi> </mrow> </mrow> <mo>&#x2282;<!-- ⊂ --></mo> <mi>Dense</mi> <mo>&#x2061;<!-- ⁡ --></mo> <mo stretchy="false">(</mo> <mi>P</mi> <mo stretchy="false">)</mo> <mo>&#x003A;<!-- : --></mo> <mrow class="MJX-TeXAtom-ORD"> <mo stretchy="false">|</mo> </mrow> <mrow class="MJX-TeXAtom-ORD"> <mrow class="MJX-TeXAtom-ORD"> <mi class="MJX-tex-caligraphic" mathvariant="script">D</mi> </mrow> </mrow> <mrow class="MJX-TeXAtom-ORD"> <mo stretchy="false">|</mo> </mrow> <mo><</mo> <mi>&#x03BA;<!-- κ --></mi> <mspace width="thickmathspace" /> <mo stretchy="false">&#x27F9;<!-- ⟹ --></mo> <mspace width="thickmathspace" /> <mo stretchy="false">(</mo> <mi mathvariant="normal">&#x2203;<!-- ∃ --></mi> <mi>F</mi> <mo>&#x2208;<!-- ∈ --></mo> <mi>Filter</mi> <mo>&#x2061;<!-- ⁡ --></mo> <mo stretchy="false">(</mo> <mi>P</mi> <mo stretchy="false">)</mo> <mi mathvariant="normal">&#x2200;<!-- ∀ --></mi> <mi>D</mi> <mo>&#x2208;<!-- ∈ --></mo> <mrow class="MJX-TeXAtom-ORD"> <mrow class="MJX-TeXAtom-ORD"> <mi class="MJX-tex-caligraphic" mathvariant="script">D</mi> </mrow> </mrow> <mo>&#x003A;<!-- : --></mo> <mi>D</mi> <mo>&#x2229;<!-- ∩ --></mo> <mi>F</mi> <mo>&#x2260;<!-- ≠ --></mo> <mi class="MJX-variant">&#x2205;<!-- ∅ --></mi> <mo stretchy="false">)</mo> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle \forall \kappa <{\mathfrak {c}}\forall P\in \operatorname {Poset_{ccc}} \forall {\mathcal {D}}\subset \operatorname {Dense} (P)\colon |{\mathcal {D}}|<\kappa \implies (\exists F\in \operatorname {Filter} (P)\forall D\in {\mathcal {D}}\colon D\cap F\neq \varnothing )}</annotation> </semantics> </math>" @default.
• Q622185 P31 Q36191904 @default.
• Q622185 P3827 "martins-axiom" @default.
• Q622185 P6104 Q8487137 @default.
• Q622185 P6366 "2780461955" @default.
• Q622185 P646 "/m/059p23" @default.
• Q622185 P7235 "<math xmlns="http://www.w3.org/1998/Math/MathML" display="block" alttext="{\displaystyle F}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi>F</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle F}</annotation> </semantics> </math>" @default.
• Q622185 P7235 "<math xmlns="http://www.w3.org/1998/Math/MathML" display="block" alttext="{\displaystyle P}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi>P</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle P}</annotation> </semantics> </math>" @default.