Statements (56)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
mathematical model
|
| gptkbp:developedBy |
gptkb:Robert_Solovay
|
| gptkbp:exhibits |
independence of the continuum hypothesis
|
| gptkbp:hasRelatedPatent |
mathematical foundations
|
| https://www.w3.org/2000/01/rdf-schema#label |
Solovay model
|
| gptkbp:isA |
generic extension
|
| gptkbp:isAccessibleBy |
forcing technique
|
| gptkbp:isActiveIn |
set-theoretic research
|
| gptkbp:isAssociatedWith |
gptkb:Zermelo-Fraenkel_set_theory
|
| gptkbp:isAttendedBy |
mathematical logicians
|
| gptkbp:isChallengedBy |
alternative set theories
new mathematical theories |
| gptkbp:isCitedBy |
research papers
|
| gptkbp:isConnectedTo |
other mathematical models
|
| gptkbp:isConsidered |
mathematicians
philosophy of mathematics theory of models |
| gptkbp:isDescribedAs |
research articles
philosophical debates |
| gptkbp:isDiscussedIn |
academic literature
mathematical philosophers |
| gptkbp:isDocumentedIn |
mathematical textbooks
|
| gptkbp:isExaminedBy |
theoretical discussions
set theorists advanced mathematical logic |
| gptkbp:isExploredIn |
academic research
model theory logicians advanced set theory courses mathematical experiments |
| gptkbp:isInfluencedBy |
historical developments in set theory
the study of axiomatic set theory |
| gptkbp:isLinkedTo |
axiomatic systems
|
| gptkbp:isNear |
constructible universe
|
| gptkbp:isNotedFor |
its role in independence proofs
|
| gptkbp:isPartOf |
theoretical mathematics
modern set theory the landscape of mathematical logic |
| gptkbp:isReferencedIn |
academic journals
|
| gptkbp:isReflectedIn |
current mathematical practices
set-theoretic discussions |
| gptkbp:isRelatedTo |
large cardinals
|
| gptkbp:isRepresentedIn |
mathematical conferences
|
| gptkbp:isStudiedIn |
graduate mathematics courses
|
| gptkbp:isSupportedBy |
mathematical evidence
|
| gptkbp:isTrainedIn |
ZFC axioms
mathematical experiments |
| gptkbp:isUsedBy |
analyze set-theoretic properties
|
| gptkbp:isUtilizedFor |
independence results
|
| gptkbp:isUtilizedIn |
mathematical proofs
proof theory mathematical assessments |
| gptkbp:provides |
a model of ZFC set theory
|
| gptkbp:relatedTo |
set theory
forcing |
| gptkbp:usedIn |
mathematical logic
|