Statements (18)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:logic
|
| gptkbp:appliesTo |
gptkb:cardinal_arithmetic
|
| gptkbp:field |
gptkb:logic
gptkb:set_theory |
| https://www.w3.org/2000/01/rdf-schema#label |
PCF theory
|
| gptkbp:introduced |
gptkb:Saharon_Shelah
|
| gptkbp:notableAchievement |
gptkb:PCF_theorem
gptkb:Shelah's_trichotomy_theorem |
| gptkbp:notablePublication |
gptkb:Cardinal_Arithmetic_(book_by_Saharon_Shelah)
|
| gptkbp:relatedTo |
cofinality
reduced products singular cardinals |
| gptkbp:standsFor |
gptkb:Possible_Cofinalities_theory
|
| gptkbp:studies |
possible cofinalities of reduced products
|
| gptkbp:usedFor |
analyzing the structure of power sets
studying the continuum function |
| gptkbp:bfsParent |
gptkb:Saharon_Shelah
|
| gptkbp:bfsLayer |
4
|