Statements (66)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:Set
|
| gptkbp:applies_to |
Infinite Games
|
| gptkbp:depicts |
Certain Properties of Sets
|
| gptkbp:established_in |
Equivalence Relations
|
| gptkbp:has_implications_for |
Real Analysis
|
| https://www.w3.org/2000/01/rdf-schema#label |
The Axiom of Determinacy
|
| gptkbp:is_a |
gptkb:Mathematics
Theoretical Framework Abstract Concept Mathematical Axiom Controversial Axiom Foundational Principle Logical Axiom Philosophical Axiom Set-Theoretic Principle |
| gptkbp:is_analyzed_in |
gptkb:strategy
|
| gptkbp:is_compared_to |
Axiom of Choice
Certain Large Cardinals |
| gptkbp:is_connected_to |
gptkb:Forcing
|
| gptkbp:is_considered |
Mathematical Logic
Abstract Algebra Functional Analysis Mathematical Foundations Nonstandard Analysis Mathematical Philosophy Descriptive Set Theory Higher Set Theory |
| gptkbp:is_considered_by |
Mathematicians
|
| gptkbp:is_discussed_in |
gptkb:Mathematics
Academic Journals Online Forums Graduate Courses Mathematical Textbooks Mathematical Literature Mathematical Conferences Mathematical Seminars |
| gptkbp:is_examined_in |
Research Papers
Research Studies Thesis Work |
| gptkbp:is_explored_in |
Computability Theory
Model Theory Mathematical Models Mathematical Theorems Philosophical Discussions |
| gptkbp:is_influential_in |
Theoretical Mathematics
Set-Theoretic Research |
| gptkbp:is_not_accepted_in |
Classical Set Theory
|
| gptkbp:is_related_to |
gptkb:Zermelo-Fraenkel_Set_Theory
Complex Analysis Measure Theory Ordinal Numbers Cardinal Numbers Functional Spaces Borel Sets Topology of Real Numbers Topology of Spaces |
| gptkbp:is_used_in |
gptkb:Mathematics
gptkb:Quantum_Mechanics gptkb:statistical_mechanics gptkb:political_theory Topology Mathematical Logic |
| gptkbp:proposed_by |
gptkb:John_von_Neumann
|
| gptkbp:related_to |
gptkb:Set
|
| gptkbp:bfsParent |
gptkb:Hugh_Woodin
|
| gptkbp:bfsLayer |
6
|