Statements (44)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
Mathematician
|
| gptkbp:academicAdvisor |
Alfred Tarski
|
| gptkbp:affiliation |
gptkb:University_of_California,_Berkeley
|
| gptkbp:almaMater |
gptkb:University_of_California,_Berkeley
|
| gptkbp:awards |
Fellow_of_the_American_Mathematical_Society
Fellow_of_the_American_Academy_of_Arts_and_Sciences |
| gptkbp:birthDate |
1938-03-02
|
| gptkbp:birthPlace |
New_York_City,_New_York,_USA
|
| gptkbp:children |
2
|
| gptkbp:contribution |
Contributed to the foundations of mathematics
Contributed to the philosophy of mathematics Contributed to the independence of the continuum hypothesis Contributed to the study of definable sets Contributed to the study of large cardinals Contributed to the theory of forcing Developed_the_concept_of_Solovay_model |
| gptkbp:field |
Mathematics
|
| https://www.w3.org/2000/01/rdf-schema#label |
Robert Solovay
|
| gptkbp:influenced |
Philosophy of mathematics
Mathematical foundations Mathematical logic community Set theory community Set theory research |
| gptkbp:influencedBy |
gptkb:Paul_Cohen
|
| gptkbp:knownFor |
gptkb:Solovay_model_of_set_theory
Mathematical logic Set theory Influence on mathematical logic Research on large cardinals Contributions to forcing in set theory Contributions to the theory of definable sets Philosophical contributions to mathematics Research on model theory Research on set-theoretic topology Solovay's_theorem_on_the_independence_of_the_continuum_hypothesis |
| gptkbp:nationality |
American
|
| gptkbp:notableAlumni |
gptkb:Solovay_model
gptkb:Solovay's_theorem |
| gptkbp:occupation |
Professor
|
| gptkbp:researchFocus |
Model theory
Forcing Large cardinals Set-theoretic topology |
| gptkbp:spouse |
gptkb:Ruth_Solovay
|