Statements (30)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematics
|
| gptkbp:appliesTo |
infinite sets
finite sets |
| gptkbp:hasApplication |
gptkb:topology
model theory real analysis |
| gptkbp:hasSubfield |
gptkb:set_theory
combinatorics |
| https://www.w3.org/2000/01/rdf-schema#label |
combinatorial set theory
|
| gptkbp:notableContributor |
gptkb:Saharon_Shelah
gptkb:András_Hajnal gptkb:Paul_Erdős |
| gptkbp:notableIdea |
gptkb:Erdős–Rado_theorem
gptkb:Martin's_axiom gptkb:PCF_theory gptkb:Suslin's_problem Delta system lemma Diamond principle Square principle |
| gptkbp:relatedTo |
axiom of choice
forcing large cardinals |
| gptkbp:studies |
gptkb:Ramsey_theory
gptkb:cardinal_characteristics_of_the_continuum partition calculus infinite combinatorics combinatorial properties of sets |
| gptkbp:bfsParent |
gptkb:Set_Theory
gptkb:Set_theory |
| gptkbp:bfsLayer |
5
|