Robert M. Solovay

URI: https://gptkb.org/entity/Robert_M._Solovay

GPTKB entity

Predicate	Object
gptkbp:instanceOf	gptkb:person
gptkbp:almaMater	gptkb:University_of_California,_Berkeley
gptkbp:awardReceived	gptkb:Leroy_P._Steele_Prize
gptkbp:birthYear	1938
gptkbp:doctoralAdvisor	gptkb:John_W._Addison,_Jr.
gptkbp:field	gptkb:logic gptkb:set_theory
https://www.w3.org/2000/01/rdf-schema#label	Robert M. Solovay
gptkbp:knownFor	gptkb:Solovay_model gptkb:Solovay–Strassen_primality_test work on measurable cardinals
gptkbp:memberOf	gptkb:American_Mathematical_Society
gptkbp:nationality	gptkb:American
gptkbp:occupation	gptkb:mathematician
gptkbp:bfsParent	gptkb:Collected_Works_of_Kurt_Gödel gptkb:James_E._Baumgartner gptkb:Kurt_Gödel's_posthumous_works gptkb:Kurt_Gödel_Collected_Works,_Volume_3 gptkb:Solovay_model
gptkbp:bfsLayer	6