John R. Shoenfield

URI: https://gptkb.org/entity/John_R._Shoenfield

GPTKB entity

Predicate	Object
gptkbp:instanceOf	gptkb:mathematician gptkb:person
gptkbp:almaMater	gptkb:University_of_Michigan
gptkbp:author	gptkb:Mathematical_Logic_(book)
gptkbp:birthDate	1927-05-29
gptkbp:deathDate	2021-11-11
gptkbp:doctoralAdvisor	gptkb:Raymond_Louis_Wilder
gptkbp:field	gptkb:logic gptkb:model_theory recursion theory
gptkbp:knownFor	gptkb:Shoenfield's_absoluteness_theorem gptkb:Shoenfield's_completeness_theorem
gptkbp:memberOf	gptkb:Association_for_Symbolic_Logic
gptkbp:nationality	gptkb:United_States
gptkbp:president	gptkb:Association_for_Symbolic_Logic gptkb:Association_for_Women_in_Mathematics
gptkbp:workInstitution	gptkb:Duke_University
gptkbp:bfsParent	gptkb:S._C._Kleene
gptkbp:bfsLayer	8
https://www.w3.org/2000/01/rdf-schema#label	John R. Shoenfield