| Property |
Value |
| dbo:abstract
|
- 数学の集合論におけるマーティンの公理（マーティンのこうり、Martin's axiom, MA）とは、マーティン (en:Donald A. Martin) とソロヴェイ (en:Robert M. Solovay) によって1970年に提唱された、ZFCと独立な命題である。 この命題は連続体仮説(CH)から導かれるが、ZFC + ¬ CHとも矛盾しない。すなわち、MAを仮定するかどうかに興味があるのはCHを仮定しないときのみである。 この公理は非形式的には「連続体濃度未満の任意の基数がと似たような振る舞いをする」と述べるものである。この主張の背景となる直観を知るには、ラショーヴァ＝シコルスキの補題を研究するとよい。この公理はある種の強制法論法を制御する上で使われる原理である。 (ja)
- 数学の集合論におけるマーティンの公理（マーティンのこうり、Martin's axiom, MA）とは、マーティン (en:Donald A. Martin) とソロヴェイ (en:Robert M. Solovay) によって1970年に提唱された、ZFCと独立な命題である。 この命題は連続体仮説(CH)から導かれるが、ZFC + ¬ CHとも矛盾しない。すなわち、MAを仮定するかどうかに興味があるのはCHを仮定しないときのみである。 この公理は非形式的には「連続体濃度未満の任意の基数がと似たような振る舞いをする」と述べるものである。この主張の背景となる直観を知るには、ラショーヴァ＝シコルスキの補題を研究するとよい。この公理はある種の強制法論法を制御する上で使われる原理である。 (ja)
|
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 3513 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-ja:wikiPageUsesTemplate
| |
| dct:subject
| |
| rdfs:comment
|
- 数学の集合論におけるマーティンの公理（マーティンのこうり、Martin's axiom, MA）とは、マーティン (en:Donald A. Martin) とソロヴェイ (en:Robert M. Solovay) によって1970年に提唱された、ZFCと独立な命題である。 この命題は連続体仮説(CH)から導かれるが、ZFC + ¬ CHとも矛盾しない。すなわち、MAを仮定するかどうかに興味があるのはCHを仮定しないときのみである。 この公理は非形式的には「連続体濃度未満の任意の基数がと似たような振る舞いをする」と述べるものである。この主張の背景となる直観を知るには、ラショーヴァ＝シコルスキの補題を研究するとよい。この公理はある種の強制法論法を制御する上で使われる原理である。 (ja)
- 数学の集合論におけるマーティンの公理（マーティンのこうり、Martin's axiom, MA）とは、マーティン (en:Donald A. Martin) とソロヴェイ (en:Robert M. Solovay) によって1970年に提唱された、ZFCと独立な命題である。 この命題は連続体仮説(CH)から導かれるが、ZFC + ¬ CHとも矛盾しない。すなわち、MAを仮定するかどうかに興味があるのはCHを仮定しないときのみである。 この公理は非形式的には「連続体濃度未満の任意の基数がと似たような振る舞いをする」と述べるものである。この主張の背景となる直観を知るには、ラショーヴァ＝シコルスキの補題を研究するとよい。この公理はある種の強制法論法を制御する上で使われる原理である。 (ja)
|
| rdfs:label
|
- マーティンの公理 (ja)
- マーティンの公理 (ja)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageWikiLink
of | |
| is owl:sameAs
of | |
| is foaf:primaryTopic
of | |
