| dbo:abstract
|
- Diamantový princip (značí se ◊) je matematické tvrzení z oblasti teorie množin, konkrétně nekonečné kombinatoriky. Jde o tvrzení nezávislé na axiomech Zermelo-Fraenkelovy teorie množin s axiomem výběru. Poprvé ho formuloval roku 1968 . (cs)
- (Karo) ist ein „kombinatorisches“ Prinzip in der Mengenlehre. (de)
- In mathematics, and particularly in axiomatic set theory, the diamond principle ◊ is a combinatorial principle introduced by Ronald Jensen in that holds in the constructible universe (L) and that implies the continuum hypothesis. Jensen extracted the diamond principle from his proof that the axiom of constructibility (V = L) implies the existence of a Suslin tree. (en)
- 数学、特に公理的集合論において、ダイヤモンド原理 ◊ （ダイヤモンドげんり、英: diamond principle）とはB. イェンセンによって1972年に導入された組み合わせ論的原理で、構成可能集合で真になり、連続体仮説を含意する。イェンセンはからススリン木の存在を導く証明の中からダイヤモンド原理を抽出、提唱した。 (ja)
- Em matemática, e particularmente na teoria axiomática dos conjuntos, o princípio diamante (◊) é um princípio combinatório introduzido por (1972) que é verdadeiro no universo construível e que implica a hipótese do continuum. Jensen extraiu o princípio de diamante de sua prova de que V = L implica a existência de uma árvore de Suslin . (pt)
- Diament Jensena – zdanie w teorii mnogości, oznaczane przez postulujące istnienie ciągu zbiorów przeliczalnych, który często zgaduje każdy podzbiór pierwszej nieprzeliczalnej liczby porządkowej Zdanie to jest niezależne od standardowych aksjomatów ZFC, to znaczy na ich gruncie nie można go ani udowodnić, ani obalić. Ponieważ ma ono wiele ciekawych konsekwencji, jest traktowane przez matematyków jako dodatkowy aksjomat, który może być zakładany, jeśli wymaga tego dowód. Zasada kombinatoryczna została wprowadzona przez amerykańskiego matematyka Ronalda Jensena. Jedną z motywacji do rozważania tego zdania jest jego prawdziwość w uniwersum konstruowalnym oraz fakt, iż wiele studiowanych wcześniej własności okazało się być konsekwencjami Jensen udowodnił też, że jeśli jest niesprzeczne, to niesprzeczna jest również teoria . (pl)
- 鑽石原則（◊）是由在)引入的組合原理，它適用於（L）並暗示了連續統假設。羅納德·詹森在證明中提取了鑽石原理，即（V = L）意味著存在。 (zh)
|
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 6367 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:wikiPageUsesTemplate
| |
| dcterms:subject
| |
| gold:hypernym
| |
| rdf:type
| |
| rdfs:comment
|
- Diamantový princip (značí se ◊) je matematické tvrzení z oblasti teorie množin, konkrétně nekonečné kombinatoriky. Jde o tvrzení nezávislé na axiomech Zermelo-Fraenkelovy teorie množin s axiomem výběru. Poprvé ho formuloval roku 1968 . (cs)
- (Karo) ist ein „kombinatorisches“ Prinzip in der Mengenlehre. (de)
- In mathematics, and particularly in axiomatic set theory, the diamond principle ◊ is a combinatorial principle introduced by Ronald Jensen in that holds in the constructible universe (L) and that implies the continuum hypothesis. Jensen extracted the diamond principle from his proof that the axiom of constructibility (V = L) implies the existence of a Suslin tree. (en)
- 数学、特に公理的集合論において、ダイヤモンド原理 ◊ （ダイヤモンドげんり、英: diamond principle）とはB. イェンセンによって1972年に導入された組み合わせ論的原理で、構成可能集合で真になり、連続体仮説を含意する。イェンセンはからススリン木の存在を導く証明の中からダイヤモンド原理を抽出、提唱した。 (ja)
- Em matemática, e particularmente na teoria axiomática dos conjuntos, o princípio diamante (◊) é um princípio combinatório introduzido por (1972) que é verdadeiro no universo construível e que implica a hipótese do continuum. Jensen extraiu o princípio de diamante de sua prova de que V = L implica a existência de uma árvore de Suslin . (pt)
- 鑽石原則（◊）是由在)引入的組合原理，它適用於（L）並暗示了連續統假設。羅納德·詹森在證明中提取了鑽石原理，即（V = L）意味著存在。 (zh)
- Diament Jensena – zdanie w teorii mnogości, oznaczane przez postulujące istnienie ciągu zbiorów przeliczalnych, który często zgaduje każdy podzbiór pierwszej nieprzeliczalnej liczby porządkowej Zdanie to jest niezależne od standardowych aksjomatów ZFC, to znaczy na ich gruncie nie można go ani udowodnić, ani obalić. Ponieważ ma ono wiele ciekawych konsekwencji, jest traktowane przez matematyków jako dodatkowy aksjomat, który może być zakładany, jeśli wymaga tego dowód. Jensen udowodnił też, że jeśli jest niesprzeczne, to niesprzeczna jest również teoria . (pl)
|
| rdfs:label
|
- Diamantový princip (cs)
- Karo (Mengenlehre) (de)
- Diamond principle (en)
- ダイヤモンド原理 (ja)
- Diament Jensena (pl)
- Princípio diamante (pt)
- 鑽石原則 (zh)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is foaf:primaryTopic
of | |
