Thoralf Skolem

URI: https://gptkb.org/entity/Thoralf_Skolem
GPTKB entity
Statements (30)
Predicate Object
gptkbp:instanceOf gptkb:person
gptkbp:almaMater gptkb:University_of_Oslo
gptkbp:awardReceived gptkb:Gunnerus_Medal
gptkbp:birthDate 1887-05-23
gptkbp:birthPlace gptkb:Sandsvær,_Norway
gptkbp:deathDate 1963-03-23
gptkbp:deathPlace gptkb:Oslo,_Norway
gptkbp:doctoralAdvisor gptkb:Axel_Thue
gptkbp:employer gptkb:University_of_Oslo
gptkbp:field gptkb:logic
gptkb:set_theory
model theory
number theory
https://www.w3.org/2000/01/rdf-schema#label Thoralf Skolem
gptkbp:knownFor gptkb:Skolem_normal_form
gptkb:Skolem's_paradox
gptkb:Skolem–Mahler–Lech_theorem
gptkb:Skolem–Noether_theorem
gptkb:Skolem_problem
gptkb:Skolem_sequence
work in set theory
work in mathematical logic
work in model theory
gptkbp:memberOf gptkb:Norwegian_Academy_of_Science_and_Letters
gptkbp:nationality gptkb:Norwegian
gptkbp:occupation gptkb:mathematician
gptkbp:spouse gptkb:Edith_Wilhelmine_Hasvold
gptkbp:bfsParent gptkb:Øystein_Ore
gptkb:logic
gptkbp:bfsLayer 4