Richard Laver

URI: https://gptkb.org/entity/Richard_Laver
GPTKB entity
Statements (19)
Predicate Object
gptkbp:instanceOf gptkb:person
gptkbp:almaMater gptkb:University_of_California,_Berkeley
gptkbp:awardReceived gptkb:Leroy_P._Steele_Prize
gptkbp:birthYear 1942
gptkbp:deathYear 2012
gptkbp:doctoralAdvisor gptkb:Stanley_Tennenbaum
gptkbp:doctoralStudent gptkb:James_Baumgartner
gptkbp:field gptkb:set_theory
https://www.w3.org/2000/01/rdf-schema#label Richard Laver
gptkbp:knownFor gptkb:Laver_diamond
gptkb:Laver_forcing
gptkb:Laver_tables
work on large cardinals
gptkbp:nationality gptkb:American
gptkbp:occupation gptkb:mathematician
gptkbp:workInstitution gptkb:University_of_Colorado_Boulder
gptkbp:bfsParent gptkb:Gerald_Sacks
gptkb:Laver_forcing
gptkbp:bfsLayer 6