Statements (24)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:Mathematician
|
| gptkbp:academic_advisor |
gptkb:Alfred_Tarski
|
| gptkbp:alma_mater |
gptkb:University_of_California,_Berkeley
|
| gptkbp:award |
gptkb:Gödel_Prize
Fellow of the American Academy of Arts and Sciences Fellow of the American Mathematical Society |
| gptkbp:birth_date |
1938-03-02
|
| gptkbp:field |
gptkb:Mathematics
|
| https://www.w3.org/2000/01/rdf-schema#label |
Robert M. Solovay
|
| gptkbp:influenced |
gptkb:Paul_Cohen
gptkb:Stephen_Cole_Kleene |
| gptkbp:influenced_by |
gptkb:Kurt_Gödel
|
| gptkbp:known_for |
gptkb:Set
mathematical logic |
| gptkbp:nationality |
gptkb:American
|
| gptkbp:notable_feature |
gptkb:Solovay_model
gptkb:Solovay's_theorem definable sets forcing |
| gptkbp:work_location |
gptkb:University_of_California,_Berkeley
gptkb:University_of_Chicago gptkb:Institute_for_Advanced_Study |
| gptkbp:bfsParent |
gptkb:Alonzo_Church
|
| gptkbp:bfsLayer |
5
|