GPTKB
Browse
Query
Compare
Download
Publications
Contributors
Search
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