Statements (46)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:Mathematician
|
| gptkbp:academic_advisor |
gptkb:Alfred_Tarski
|
| gptkbp:alma_mater |
gptkb:University_of_California,_Berkeley
|
| gptkbp:award |
Fellow of the Association for Computing Machinery
Fellow of the American Academy of Arts and Sciences |
| gptkbp:birth_date |
1938-03-02
|
| gptkbp:birth_place |
gptkb:New_York_City
|
| gptkbp:contribution |
Published numerous papers in mathematical journals
Mentored many students in mathematics Worked on the foundations of mathematics Contributed to the understanding of independence results in set theory Developed the concept of Solovay model Investigated the implications of large cardinals Explored the connections between logic and set theory Studied the relationship between set theory and computability |
| gptkbp:employees |
gptkb:University_of_California,_Berkeley
|
| gptkbp:field |
gptkb:Mathematics
|
| https://www.w3.org/2000/01/rdf-schema#label |
Robert Solovay
|
| gptkbp:influenced |
Set theory research
|
| gptkbp:influenced_by |
gptkb:Paul_Cohen
|
| gptkbp:involvement |
Collaborated with other mathematicians
Contributed to mathematical education Engaged in interdisciplinary research Served on editorial boards of journals Engaged in public lectures on mathematics Participated in mathematical societies Contributed to the development of mathematical theories Active in mathematical community Advocated for the importance of set theory Participated in conferences and workshops Promoted research in mathematical logic |
| gptkbp:known_for |
Mathematical logic
Model theory Set theory |
| gptkbp:nationality |
gptkb:American
|
| gptkbp:notable_feature |
gptkb:Solovay_model
gptkb:Solovay's_theorem |
| gptkbp:occupation |
gptkb:Professor
|
| gptkbp:research_interest |
gptkb:Forcing
Mathematical logic Computability theory Large cardinals Set-theoretic topology Descriptive set theory |
| gptkbp:bfsParent |
gptkb:J._Richard_Cohen
|
| gptkbp:bfsLayer |
6
|