Statements (64)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:Model
|
| gptkbp:constructed_in |
forcing techniques
|
| gptkbp:developed_by |
gptkb:Robert_Solovay
|
| gptkbp:has_applications_in |
theoretical computer science
|
| https://www.w3.org/2000/01/rdf-schema#label |
Solovay model
|
| gptkbp:is |
a standard model
|
| gptkbp:is_a |
non-standard model
|
| gptkbp:is_analyzed_in |
model theory
|
| gptkbp:is_associated_with |
the study of infinite sets
mathematical paradoxes the concept of definability |
| gptkbp:is_cited_in |
research articles
theoretical discussions academic literature |
| gptkbp:is_connected_to |
gptkb:Zermelo-Fraenkel_set_theory
the study of mathematical structures the study of models of set theory |
| gptkbp:is_considered |
a significant contribution to logic
a counterexample to certain conjectures a foundational model in set theory. a pivotal model in logic |
| gptkbp:is_discussed_in |
gptkb:academic_conferences
philosophy of mathematics mathematical seminars |
| gptkbp:is_examined_in |
set-theoretic topology
advanced logic courses discussions on mathematical foundations |
| gptkbp:is_explored_in |
mathematical frameworks
mathematical proofs mathematical research papers set-theoretic analysis |
| gptkbp:is_influential_in |
foundational mathematics
the development of model theory the study of models |
| gptkbp:is_noted_for |
its complexity
its role in independence proofs its implications for mathematical truth its implications on infinity |
| gptkbp:is_part_of |
theoretical frameworks
advanced set theory the landscape of mathematical logic modern mathematical discourse theoretical discussions in set theory theoretical explorations in mathematics |
| gptkbp:is_related_to |
large cardinals
axiomatic set theory mathematical consistency the concept of constructibility |
| gptkbp:is_significant_for |
mathematical foundations
|
| gptkbp:is_studied_in |
philosophers of mathematics
logicians set theorists |
| gptkbp:is_used_to |
illustrate set-theoretic concepts
study set-theoretic properties |
| gptkbp:is_utilized_in |
proof theory
research on cardinality theoretical explorations of logic |
| gptkbp:provides |
a model of ZFC set theory
|
| gptkbp:related_to |
gptkb:Set
forcing |
| gptkbp:used_in |
mathematical logic
|
| gptkbp:was_a_demonstration_of |
independence of the continuum hypothesis
|
| gptkbp:bfsParent |
gptkb:Robert_M._Solovay
|
| gptkbp:bfsLayer |
6
|