Leo Harrington

URI: https://gptkb.org/entity/Leo_Harrington

GPTKB entity

Predicate	Object
gptkbp:instanceOf	gptkb:person
gptkbp:almaMater	gptkb:University_of_California,_Berkeley
gptkbp:award	gptkb:Leroy_P._Steele_Prize
gptkbp:birthYear	1946
gptkbp:coauthor	gptkb:Saharon_Shelah gptkb:Donald_A._Martin gptkb:John_R._Steel
gptkbp:doctoralAdvisor	gptkb:Donald_A._Martin
gptkbp:employer	gptkb:University_of_California,_Berkeley
gptkbp:field	gptkb:logic gptkb:set_theory recursion theory
https://www.w3.org/2000/01/rdf-schema#label	Leo Harrington
gptkbp:knownFor	gptkb:Harrington's_Principle work in set theory work in recursion theory
gptkbp:nationality	gptkb:American
gptkbp:notableStudent	gptkb:W._Hugh_Woodin
gptkbp:occupation	gptkb:mathematician
gptkbp:bfsParent	gptkb:David_Marker gptkb:Gerald_E._Sacks
gptkbp:bfsLayer	6