Statements (61)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
set theory model
|
| gptkbp:addresses |
continuum hypothesis
|
| gptkbp:developedBy |
gptkb:Robert_Solovay
|
| https://www.w3.org/2000/01/rdf-schema#label |
Solovay model of set theory
|
| gptkbp:isA |
constructible universe
|
| gptkbp:isAssociatedWith |
definable sets
the_concept_of_constructibility |
| gptkbp:isAttendedBy |
set theorists
|
| gptkbp:isAvenueFor |
mathematical modeling
computational set theory |
| gptkbp:isCharacterizedBy |
its use of inner models
|
| gptkbp:isConnectedTo |
mathematical foundations
infinite combinatorics the study of cardinality the exploration of set-theoretic structures |
| gptkbp:isConsidered |
set-theoretic research
advanced set theory courses discussions on mathematical logic discussions on mathematical realism |
| gptkbp:isDiscussedIn |
academic papers
mathematical conferences philosophers of mathematics mathematicians_and_logicians |
| gptkbp:isEquippedWith |
gptkb:Zermelo-Fraenkel_set_theory
|
| gptkbp:isExaminedBy |
research articles
mathematicians mathematical philosophy research scholars set theory workshops |
| gptkbp:isExploredIn |
set theory literature
mathematical proofs logical frameworks graduate level mathematics courses |
| gptkbp:isInfluencedBy |
foundational mathematics
the development of set theory contemporary set theory research earlier set theories |
| gptkbp:isNotableFor |
its contributions to the understanding of set theory
its implications for set-theoretic topology its implications for the axiom of choice |
| gptkbp:isNotedFor |
its role in the study of measurable cardinals
its treatment of large cardinals |
| gptkbp:isPartOf |
theoretical frameworks in mathematics
set theory studies theoretical discussions in mathematics |
| gptkbp:isReferencedIn |
academic journals
textbooks on set theory set theory textbooks |
| gptkbp:isRelatedTo |
set-theoretic independence
set-theoretic paradoxes set-theoretic axioms forcing the study of definable functions |
| gptkbp:isStudiedIn |
logic seminars
logic and set theory courses |
| gptkbp:isUsedBy |
demonstrate consistency results
|
| gptkbp:isUsedIn |
mathematical logic
philosophical discussions on infinity |
| gptkbp:isUtilizedIn |
theoretical computer science
proof theory |
| gptkbp:provides |
a model of set theory
|