Properties (67)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
set theory
|
| gptkbp:appliesTo |
infinite sets
|
| gptkbp:competesWith |
gptkb:Zermelo-Fraenkel_set_theory
|
| gptkbp:developedBy |
gptkb:Abraham_Fraenkel
gptkb:W._Mostowski |
| gptkbp:explores |
set membership
|
| gptkbp:hasRelatedPatent |
computer science
|
| https://www.w3.org/2000/01/rdf-schema#label |
Fraenkel-Mostowski model
|
| gptkbp:includes |
non-well-founded sets
|
| gptkbp:is_studied_in |
paradoxes in set theory
|
| gptkbp:isActiveIn |
research studies
|
| gptkbp:isAssociatedWith |
non-standard analysis
|
| gptkbp:isAvenueFor |
mathematical modeling
computational theory philosophy of mathematics |
| gptkbp:isCitedIn |
textbooks on set theory
|
| gptkbp:isConsidered |
the study of paradoxes
a generalization of set theory the study of foundations of mathematics theoretical discussions on sets theoretical explorations of mathematics |
| gptkbp:isCriticizedFor |
its complexity
|
| gptkbp:isDescribedAs |
academic debates
|
| gptkbp:isDiscussedIn |
mathematical literature
philosophers of mathematics mathematical seminars mathematical theorists conferences on set theory |
| gptkbp:isExaminedBy |
logicians
advanced set theory courses discussions on infinity discussions on mathematical rigor |
| gptkbp:isExploredIn |
mathematical foundations
mathematicians mathematical research mathematical proofs mathematical philosophy research on set theory |
| gptkbp:isInfluencedBy |
gptkb:Cantor's_set_theory
the development of set theory the study of mathematical logic |
| gptkbp:isNotedFor |
its flexibility in set construction
|
| gptkbp:isPartOf |
modern set theory
the history of mathematics theoretical frameworks in mathematics other set theories |
| gptkbp:isReferencedIn |
academic papers
scholarly articles mathematical encyclopedias |
| gptkbp:isRelatedTo |
category theory
set-theoretic topology foundational crises in mathematics non-well-founded set theory |
| gptkbp:isStudiedIn |
foundations of mathematics
graduate mathematics programs advanced logic courses |
| gptkbp:isTaughtIn |
university courses
|
| gptkbp:isUsedBy |
set-theoretic concepts
|
| gptkbp:isUsedIn |
theoretical computer science
|
| gptkbp:isUtilizedIn |
algorithm design
formal logic theoretical explorations of infinity |
| gptkbp:keyIssues |
understanding set membership
understanding set theory foundations |
| gptkbp:provides |
a framework for discussing sets
|
| gptkbp:relatedTo |
axiomatic set theory
|
| gptkbp:usedIn |
mathematical logic
|