Determinacy of all Projective Games
GPTKB entity
Statements (21)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
Mathematical Conjecture
|
| gptkbp:concerns |
gptkb:Infinite_Games
|
| gptkbp:consistencyStrength |
Large Cardinals
|
| gptkbp:field |
gptkb:Set_Theory
|
| https://www.w3.org/2000/01/rdf-schema#label |
Determinacy of all Projective Games
|
| gptkbp:implies |
Baire Property for Projective Sets
Lebesgue Measurability of Projective Sets Perfect Set Property for Projective Sets Projective Sets are Determined Regularity Properties of Projective Sets |
| gptkbp:opposedBy |
Axiom of Choice (in full generality)
|
| gptkbp:proposedBy |
gptkb:Donald_A._Martin
|
| gptkbp:relatedTo |
gptkb:Projective_Determinacy
gptkb:Axiom_of_Determinacy gptkb:Descriptive_Set_Theory Analytic Determinacy Coanalytic Determinacy |
| gptkbp:status |
Open (as of 2024)
|
| gptkbp:yearProposed |
1970s
|
| gptkbp:bfsParent |
gptkb:Projective_Determinacy
|
| gptkbp:bfsLayer |
8
|