Fraenkel-Mostowski Set Theory
GPTKB entity
Properties (51)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
Set Theory
|
| gptkbp:allows |
Circular sets
|
| gptkbp:competesWith |
Classical Set Theory
|
| gptkbp:developedBy |
gptkb:Abraham_Fraenkel
Juliusz Mostowski |
| gptkbp:focusesOn |
Non-well-founded sets
|
| gptkbp:hasRelatedPatent |
Computer Science
Philosophy of Mathematics Theoretical_Computer_Science |
| https://www.w3.org/2000/01/rdf-schema#label |
Fraenkel-Mostowski Set Theory
|
| gptkbp:includes |
Anti-foundation axiom
|
| gptkbp:isAssociatedWith |
Model Theory
Non-standard Analysis Set-theoretic_Paradoxes |
| gptkbp:isConsidered |
Philosophical Debates
Logical Debates Mathematical Debates Alternative_to_ZF_set_theory |
| gptkbp:isCriticizedFor |
Complexity of Concepts
Non-intuitive Results Lack_of_Consensus |
| gptkbp:isDiscussedIn |
Conferences
Seminars Workshops |
| gptkbp:isExaminedBy |
Philosophical Journals
Logic Journals Mathematical_Journals |
| gptkbp:isExploredIn |
Dissertations
Research Papers Theses Philosophical Discussions Set Theory Literature Mathematical_Foundations |
| gptkbp:isInfluencedBy |
Constructive Set Theory
Intuitionistic Logic Naive Set Theory |
| gptkbp:isRelatedTo |
gptkb:Zermelo-Fraenkel_Set_Theory
Mathematical Structures Axiom of Choice Foundational Mathematics Formal_Systems |
| gptkbp:isSupportedBy |
gptkb:Logicians
Mathematicians Philosophers |
| gptkbp:isTaughtIn |
Advanced Mathematics Courses
Mathematical Logic Courses Set Theory Courses |
| gptkbp:isUsedIn |
Mathematical Logic
Category Theory Set-theoretic topology |
| gptkbp:provides |
A framework for discussing paradoxes
|