Michael Rathjen

URI: https://gptkb.org/entity/Michael_Rathjen
GPTKB entity
Statements (18)
Predicate Object
gptkbp:instanceOf gptkb:person
gptkbp:almaMater gptkb:University_of_Munich
gptkbp:birthYear 1954
gptkbp:doctoralAdvisor gptkb:Wilfried_Buchholz
gptkbp:employer gptkb:University_of_Leeds
gptkbp:field gptkb:logic
gptkb:set_theory
proof theory
gptkbp:hasPhD yes
https://www.w3.org/2000/01/rdf-schema#label Michael Rathjen
gptkbp:memberOf gptkb:London_Mathematical_Society
gptkbp:nationality gptkb:German
gptkbp:notableWork gptkb:constructive_set_theory
ordinal analysis
gptkbp:occupation gptkb:mathematician
gptkbp:bfsParent gptkb:Wolfgang_Pohlers
gptkb:Perspectives_in_Mathematical_Logic
gptkbp:bfsLayer 7