FRINK Linked Data Fragments server

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

• Q1465090 description "Begriff aus der Kategorientheorie" @default.
• Q1465090 description "conjunt transitiu tancat sota les operacions d'unió parametritzada, conjunt de potències i parells no ordenats" @default.
• Q1465090 description "notion mathématique" @default.
• Q1465090 description "transitiva aro fermita laŭ la operacioj parametrizita kunaĵo, aro de subaroj kaj neordita paro" @default.
• Q1465090 description "transitive set closed under the operations of parameterized union, power set and unordered pairs" @default.
• Q1465090 name "Grothendieck universe" @default.
• Q1465090 name "Grothendieck-Universum" @default.
• Q1465090 name "Univers de Grothendieck" @default.
• Q1465090 name "univers de Grothendieck" @default.
• Q1465090 name "universo de Grothendieck" @default.
• Q1465090 name "universo de Grothendieck" @default.
• Q1465090 name "universo de Grothendieck" @default.
• Q1465090 name "universo de Grothendieck" @default.
• Q1465090 name "universo di Grothendieck" @default.
• Q1465090 name "универсум Гротендика" @default.
• Q1465090 name "グロタンディーク宇宙" @default.
• Q1465090 name "그로텐디크 전체" @default.
• Q1465090 type Item @default.
• Q1465090 label "Grothendieck universe" @default.
• Q1465090 label "Grothendieck-Universum" @default.
• Q1465090 label "Univers de Grothendieck" @default.
• Q1465090 label "univers de Grothendieck" @default.
• Q1465090 label "universo de Grothendieck" @default.
• Q1465090 label "universo de Grothendieck" @default.
• Q1465090 label "universo de Grothendieck" @default.
• Q1465090 label "universo de Grothendieck" @default.
• Q1465090 label "universo di Grothendieck" @default.
• Q1465090 label "универсум Гротендика" @default.
• Q1465090 label "グロタンディーク宇宙" @default.
• Q1465090 label "그로텐디크 전체" @default.
• Q1465090 altLabel "Grotendik-universo" @default.
• Q1465090 altLabel "Grothendieck-a universo" @default.
• Q1465090 altLabel "Grothendieck-universo" @default.
• Q1465090 altLabel "Universenaxiom" @default.
• Q1465090 altLabel "grotendika universo" @default.
• Q1465090 prefLabel "Grothendieck universe" @default.
• Q1465090 prefLabel "Grothendieck-Universum" @default.
• Q1465090 prefLabel "Univers de Grothendieck" @default.
• Q1465090 prefLabel "univers de Grothendieck" @default.
• Q1465090 prefLabel "universo de Grothendieck" @default.
• Q1465090 prefLabel "universo de Grothendieck" @default.
• Q1465090 prefLabel "universo de Grothendieck" @default.
• Q1465090 prefLabel "universo de Grothendieck" @default.
• Q1465090 prefLabel "universo di Grothendieck" @default.
• Q1465090 prefLabel "универсум Гротендика" @default.
• Q1465090 prefLabel "グロタンディーク宇宙" @default.
• Q1465090 prefLabel "그로텐디크 전체" @default.
• Q1465090 P138 Q1465090-f11de2b2-4549-27f2-248c-3df84c9861fa @default.
• Q1465090 P1889 Q1465090-99df6a56-4bf8-649f-140c-0c7d8c10b260 @default.
• Q1465090 P2534 Q1465090-EC5C433F-B227-4210-B2AA-E914DDC66360 @default.
• Q1465090 P2579 Q1465090-4BD01F1B-1649-48D3-BDFA-586C8F15E7CA @default.
• Q1465090 P279 Q1465090-3b56a5af-460d-9e38-952f-232324674ae5 @default.
• Q1465090 P31 Q1465090-862440bc-4fa0-33f7-6b88-73c7c0e399bf @default.
• Q1465090 P4215 Q1465090-6F329EB3-BEE0-4755-881F-961FCA53326E @default.
• Q1465090 P61 Q1465090-c7ea3799-4822-3eee-c75e-67a411856435 @default.
• Q1465090 P6104 Q1465090-00CD9A52-24FB-4ADA-8A70-257696DA2D55 @default.
• Q1465090 P6366 Q1465090-A6627563-65AD-4F1B-8F0F-8414A29824DC @default.
• Q1465090 P646 Q1465090-9FDED22B-1CF2-4134-9D3A-CE5C5AFE230C @default.
• Q1465090 P6781 Q1465090-fc752bb0-44fe-dc4c-aa15-847e5fa2e142 @default.
• Q1465090 P7235 Q1465090-d44b8950-401d-6b6e-eec0-155c1fe2dec6 @default.
• Q1465090 P7235 Q1465090-ed1d5c16-4e8f-5b24-24a4-45a88143f928 @default.
• Q1465090 P6366 2777712643 @default.
• Q1465090 P138 Q77141 @default.
• Q1465090 P1889 Q7896833 @default.
• Q1465090 P2534 "<math xmlns="http://www.w3.org/1998/Math/MathML" display="block" alttext="{\displaystyle (x\in y\in U\implies x\in U)\land (\{x,y\}\subset U\implies \{x,y\}\in U)\land (x\in U\implies {\mathcal {P}}(x)\in U)\land \left((I\in U\land \{x_{i}\}_{i\in I}\subset U)\implies \bigcup _{i\in I}x_{i}\in U\right)}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mo stretchy="false">(</mo> <mi>x</mi> <mo>&#x2208;<!-- ∈ --></mo> <mi>y</mi> <mo>&#x2208;<!-- ∈ --></mo> <mi>U</mi> <mspace width="thickmathspace" /> <mo stretchy="false">&#x27F9;<!-- ⟹ --></mo> <mspace width="thickmathspace" /> <mi>x</mi> <mo>&#x2208;<!-- ∈ --></mo> <mi>U</mi> <mo stretchy="false">)</mo> <mo>&#x2227;<!-- ∧ --></mo> <mo stretchy="false">(</mo> <mo fence="false" stretchy="false">{</mo> <mi>x</mi> <mo>,</mo> <mi>y</mi> <mo fence="false" stretchy="false">}</mo> <mo>&#x2282;<!-- ⊂ --></mo> <mi>U</mi> <mspace width="thickmathspace" /> <mo stretchy="false">&#x27F9;<!-- ⟹ --></mo> <mspace width="thickmathspace" /> <mo fence="false" stretchy="false">{</mo> <mi>x</mi> <mo>,</mo> <mi>y</mi> <mo fence="false" stretchy="false">}</mo> <mo>&#x2208;<!-- ∈ --></mo> <mi>U</mi> <mo stretchy="false">)</mo> <mo>&#x2227;<!-- ∧ --></mo> <mo stretchy="false">(</mo> <mi>x</mi> <mo>&#x2208;<!-- ∈ --></mo> <mi>U</mi> <mspace width="thickmathspace" /> <mo stretchy="false">&#x27F9;<!-- ⟹ --></mo> <mspace width="thickmathspace" /> <mrow class="MJX-TeXAtom-ORD"> <mrow class="MJX-TeXAtom-ORD"> <mi class="MJX-tex-caligraphic" mathvariant="script">P</mi> </mrow> </mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> <mo>&#x2208;<!-- ∈ --></mo> <mi>U</mi> <mo stretchy="false">)</mo> <mo>&#x2227;<!-- ∧ --></mo> <mrow> <mo>(</mo> <mrow> <mo stretchy="false">(</mo> <mi>I</mi> <mo>&#x2208;<!-- ∈ --></mo> <mi>U</mi> <mo>&#x2227;<!-- ∧ --></mo> <mo fence="false" stretchy="false">{</mo> <msub> <mi>x</mi> <mrow class="MJX-TeXAtom-ORD"> <mi>i</mi> </mrow> </msub> <msub> <mo fence="false" stretchy="false">}</mo> <mrow class="MJX-TeXAtom-ORD"> <mi>i</mi> <mo>&#x2208;<!-- ∈ --></mo> <mi>I</mi> </mrow> </msub> <mo>&#x2282;<!-- ⊂ --></mo> <mi>U</mi> <mo stretchy="false">)</mo> <mspace width="thickmathspace" /> <mo stretchy="false">&#x27F9;<!-- ⟹ --></mo> <mspace width="thickmathspace" /> <munder> <mo>&#x22C3;<!-- ⋃ --></mo> <mrow class="MJX-TeXAtom-ORD"> <mi>i</mi> <mo>&#x2208;<!-- ∈ --></mo> <mi>I</mi> </mrow> </munder> <msub> <mi>x</mi> <mrow class="MJX-TeXAtom-ORD"> <mi>i</mi> </mrow> </msub> <mo>&#x2208;<!-- ∈ --></mo> <mi>U</mi> </mrow> <mo>)</mo> </mrow> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle (x\in y\in U\implies x\in U)\land (\{x,y\}\subset U\implies \{x,y\}\in U)\land (x\in U\implies {\mathcal {P}}(x)\in U)\land \left((I\in U\land \{x_{i}\}_{i\in I}\subset U)\implies \bigcup _{i\in I}x_{i}\in U\right)}</annotation> </semantics> </math>" @default.
• Q1465090 P2579 Q217413 @default.
• Q1465090 P279 Q671944 @default.
• Q1465090 P31 Q24034552 @default.
• Q1465090 P4215 "Grothendieck universe" @default.
• Q1465090 P61 Q77141 @default.
• Q1465090 P6104 Q8487137 @default.
• Q1465090 P6366 "2777712643" @default.
• Q1465090 P646 "/m/043hbj" @default.
• Q1465090 P6781 "Definition:Grothendieck_Universe" @default.
• Q1465090 P7235 "<math xmlns="http://www.w3.org/1998/Math/MathML" display="block" alttext="{\displaystyle U}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi>U</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle U}</annotation> </semantics> </math>" @default.
• Q1465090 P7235 "<math xmlns="http://www.w3.org/1998/Math/MathML" display="block" alttext="{\displaystyle {\mathcal {P}}}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mrow class="MJX-TeXAtom-ORD"> <mrow class="MJX-TeXAtom-ORD"> <mi class="MJX-tex-caligraphic" mathvariant="script">P</mi> </mrow> </mrow> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle {\mathcal {P}}}</annotation> </semantics> </math>" @default.