Matches in Wikidata for { <http://www.wikidata.org/entity/Q77887> ?p ?o ?g. }
- Q77887 description "a classe dos conjuntos hereditariamente bem fundados" @default.
- Q77887 description "concepte de teoria de conjunts" @default.
- Q77887 description "ein stufenweiser Aufbau des gesamten Mengenuniversums mit Hilfe von Ordinalzahlen und der Iteration der Potenzmengenbildung" @default.
- Q77887 description "in set theory, the collection of sets obtained by transfinite recursion using the powerset operation" @default.
- Q77887 description "la klaso da aroj difinitaj per transfinia rikuro uzante la aron de ĉiuj subaroj" @default.
- Q77887 description "모든 집합의 모임에 초한 위계를 준 것" @default.
- Q77887 name "Gerarchia di Von Neumann" @default.
- Q77887 name "Von-Neumann-Hierarchie" @default.
- Q77887 name "Von-Neumann-Hierarchie" @default.
- Q77887 name "fundované jádro" @default.
- Q77887 name "univers de von Neumann" @default.
- Q77887 name "univers de von Neumann" @default.
- Q77887 name "universo de von Neumann" @default.
- Q77887 name "universo de von Neumann" @default.
- Q77887 name "universo de von Neumann" @default.
- Q77887 name "von Neumann universe" @default.
- Q77887 name "von Neumann universe" @default.
- Q77887 name "von Neumann universe" @default.
- Q77887 name "von Neumannin universumi" @default.
- Q77887 name "von Neumannov univerzum" @default.
- Q77887 name "универсум фон Неймана" @default.
- Q77887 name "універсум фон Неймана" @default.
- Q77887 name "جهان فون نویمان" @default.
- Q77887 name "フォン・ノイマン宇宙" @default.
- Q77887 name "冯·诺伊曼全集" @default.
- Q77887 name "폰 노이만 전체" @default.
- Q77887 type Item @default.
- Q77887 label "Gerarchia di Von Neumann" @default.
- Q77887 label "Von-Neumann-Hierarchie" @default.
- Q77887 label "Von-Neumann-Hierarchie" @default.
- Q77887 label "fundované jádro" @default.
- Q77887 label "univers de von Neumann" @default.
- Q77887 label "univers de von Neumann" @default.
- Q77887 label "universo de von Neumann" @default.
- Q77887 label "universo de von Neumann" @default.
- Q77887 label "universo de von Neumann" @default.
- Q77887 label "von Neumann universe" @default.
- Q77887 label "von Neumann universe" @default.
- Q77887 label "von Neumann universe" @default.
- Q77887 label "von Neumannin universumi" @default.
- Q77887 label "von Neumannov univerzum" @default.
- Q77887 label "универсум фон Неймана" @default.
- Q77887 label "універсум фон Неймана" @default.
- Q77887 label "جهان فون نویمان" @default.
- Q77887 label "フォン・ノイマン宇宙" @default.
- Q77887 label "冯·诺伊曼全集" @default.
- Q77887 label "폰 노이만 전체" @default.
- Q77887 altLabel "V" @default.
- Q77887 altLabel "V" @default.
- Q77887 altLabel "cumulative hierarchy" @default.
- Q77887 altLabel "hierarquia cumulativa" @default.
- Q77887 altLabel "hierarquia de von Neumann dos conjuntos" @default.
- Q77887 altLabel "hierarquia de von Neumann" @default.
- Q77887 altLabel "kumulative Hierarchie" @default.
- Q77887 altLabel "von Neumann hierarchy of sets" @default.
- Q77887 altLabel "von Neumann hierarchy" @default.
- Q77887 altLabel "ієрархія множин за фон Нейманом" @default.
- Q77887 altLabel "ランク (集合論)" @default.
- Q77887 prefLabel "Gerarchia di Von Neumann" @default.
- Q77887 prefLabel "Von-Neumann-Hierarchie" @default.
- Q77887 prefLabel "Von-Neumann-Hierarchie" @default.
- Q77887 prefLabel "fundované jádro" @default.
- Q77887 prefLabel "univers de von Neumann" @default.
- Q77887 prefLabel "univers de von Neumann" @default.
- Q77887 prefLabel "universo de von Neumann" @default.
- Q77887 prefLabel "universo de von Neumann" @default.
- Q77887 prefLabel "universo de von Neumann" @default.
- Q77887 prefLabel "von Neumann universe" @default.
- Q77887 prefLabel "von Neumann universe" @default.
- Q77887 prefLabel "von Neumann universe" @default.
- Q77887 prefLabel "von Neumannin universumi" @default.
- Q77887 prefLabel "von Neumannov univerzum" @default.
- Q77887 prefLabel "универсум фон Неймана" @default.
- Q77887 prefLabel "універсум фон Неймана" @default.
- Q77887 prefLabel "جهان فون نویمان" @default.
- Q77887 prefLabel "フォン・ノイマン宇宙" @default.
- Q77887 prefLabel "冯·诺伊曼全集" @default.
- Q77887 prefLabel "폰 노이만 전체" @default.
- Q77887 P138 Q77887-7f93943f-4b3d-a47c-48ae-8c2732dacc51 @default.
- Q77887 P1417 Q77887-675649E9-5302-493C-8929-BF4B00DDC32F @default.
- Q77887 P2534 Q77887-b3f359b2-4a58-1f1f-9048-23a00fccd078 @default.
- Q77887 P31 Q77887-5e5ab5fb-40e7-c724-3832-d695ae53e19c @default.
- Q77887 P31 Q77887-92f72303-4760-f2c1-911a-19da3516c810 @default.
- Q77887 P460 Q77887-7ca2dfbf-4e48-bc40-0797-96a61a54d46d @default.
- Q77887 P6104 Q77887-A5DC6DE4-F75C-4331-9673-C6BB87349444 @default.
- Q77887 P646 Q77887-277478E7-EBAA-4830-9E8E-F968AF16FC82 @default.
- Q77887 P7235 Q77887-3bdf46bf-4f3f-fa3e-fbcd-fca73480b63a @default.
- Q77887 P7235 Q77887-4e1821f0-42d5-cf41-f164-2557ec45268c @default.
- Q77887 P7235 Q77887-982fe30f-4746-5082-8651-57a09f2fbbdb @default.
- Q77887 P7235 Q77887-a92fb47f-4437-1116-260b-1882a1b26697 @default.
- Q77887 P138 Q17455 @default.
- Q77887 P1417 "topic/von-Neumann-universe" @default.
- Q77887 P2534 "<math xmlns="http://www.w3.org/1998/Math/MathML" display="block" alttext="{\displaystyle {\begin{aligned}V_{\alpha }&={\begin{cases}{\mathcal {P}}(V_{\beta })&\exists \beta \colon \alpha =\beta +1\\\bigcup _{\gamma <\alpha }V_{\gamma }&\nexists \beta \colon \alpha =\beta +1\end{cases}}\\V&=\bigcup _{\alpha \in \operatorname {Ord} }V_{\alpha }\end{aligned}}}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mrow class="MJX-TeXAtom-ORD"> <mtable columnalign="right left right left right left right left right left right left" rowspacing="3pt" columnspacing="0em 2em 0em 2em 0em 2em 0em 2em 0em 2em 0em" displaystyle="true"> <mtr> <mtd> <msub> <mi>V</mi> <mrow class="MJX-TeXAtom-ORD"> <mi>α<!-- α --></mi> </mrow> </msub> </mtd> <mtd> <mi></mi> <mo>=</mo> <mrow class="MJX-TeXAtom-ORD"> <mrow> <mo>{</mo> <mtable columnalign="left left" rowspacing=".2em" columnspacing="1em" displaystyle="false"> <mtr> <mtd> <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> <msub> <mi>V</mi> <mrow class="MJX-TeXAtom-ORD"> <mi>β<!-- β --></mi> </mrow> </msub> <mo stretchy="false">)</mo> </mtd> <mtd> <mi mathvariant="normal">∃<!-- ∃ --></mi> <mi>β<!-- β --></mi> <mo>:<!-- : --></mo> <mi>α<!-- α --></mi> <mo>=</mo> <mi>β<!-- β --></mi> <mo>+</mo> <mn>1</mn> </mtd> </mtr> <mtr> <mtd> <munder> <mo>⋃<!-- ⋃ --></mo> <mrow class="MJX-TeXAtom-ORD"> <mi>γ<!-- γ --></mi> <mo><</mo> <mi>α<!-- α --></mi> </mrow> </munder> <msub> <mi>V</mi> <mrow class="MJX-TeXAtom-ORD"> <mi>γ<!-- γ --></mi> </mrow> </msub> </mtd> <mtd> <mi>∄<!-- ∄ --></mi> <mi>β<!-- β --></mi> <mo>:<!-- : --></mo> <mi>α<!-- α --></mi> <mo>=</mo> <mi>β<!-- β --></mi> <mo>+</mo> <mn>1</mn> </mtd> </mtr> </mtable> <mo fence="true" stretchy="true" symmetric="true"></mo> </mrow> </mrow> </mtd> </mtr> <mtr> <mtd> <mi>V</mi> </mtd> <mtd> <mi></mi> <mo>=</mo> <munder> <mo>⋃<!-- ⋃ --></mo> <mrow class="MJX-TeXAtom-ORD"> <mi>α<!-- α --></mi> <mo>∈<!-- ∈ --></mo> <mi>Ord</mi> </mrow> </munder> <msub> <mi>V</mi> <mrow class="MJX-TeXAtom-ORD"> <mi>α<!-- α --></mi> </mrow> </msub> </mtd> </mtr> </mtable> </mrow> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle {\begin{aligned}V_{\alpha }&={\begin{cases}{\mathcal {P}}(V_{\beta })&\exists \beta \colon \alpha =\beta +1\\\bigcup _{\gamma <\alpha }V_{\gamma }&\nexists \beta \colon \alpha =\beta +1\end{cases}}\\V&=\bigcup _{\alpha \in \operatorname {Ord} }V_{\alpha }\end{aligned}}}</annotation> </semantics> </math>" @default.
- Q77887 P31 Q115489271 @default.
- Q77887 P31 Q18349448 @default.
- Q77887 P460 Q2649292 @default.
- Q77887 P6104 Q8487137 @default.
- Q77887 P646 "/m/029dwt" @default.
- Q77887 P7235 "<math xmlns="http://www.w3.org/1998/Math/MathML" display="block" alttext="{\displaystyle V}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi>V</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle V}</annotation> </semantics> </math>" @default.
- Q77887 P7235 "<math xmlns="http://www.w3.org/1998/Math/MathML" display="block" alttext="{\displaystyle \beta +1}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi>β<!-- β --></mi> <mo>+</mo> <mn>1</mn> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle \beta +1}</annotation> </semantics> </math>" @default.