Tarski

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

GPTKB entity

Statements (55)

Predicate	Object
gptkbp:instanceOf	gptkb:person
gptkbp:almaMater	gptkb:University_of_Warsaw
gptkbp:awardReceived	gptkb:Leroy_P._Steele_Prize gptkb:Alfred_Jurzykowski_Prize
gptkbp:birthDate	1901-01-14
gptkbp:birthName	gptkb:Alfred_Teitelbaum
gptkbp:birthPlace	gptkb:Warsaw
gptkbp:deathDate	1983-10-26
gptkbp:deathPlace	gptkb:Berkeley,_California
gptkbp:doctoralAdvisor	gptkb:Stanisław_Leśniewski
gptkbp:employer	gptkb:University_of_California,_Berkeley
gptkbp:field	gptkb:algebra gptkb:logic gptkb:set_theory gptkb:topology model theory semantics metamathematics
gptkbp:fullName	gptkb:Alfred_Tarski
https://www.w3.org/2000/01/rdf-schema#label	Tarski
gptkbp:influenced	gptkb:Abraham_Robinson gptkb:Dana_Scott gptkb:Haim_Gaifman gptkb:Julia_Robinson gptkb:Leon_Henkin gptkb:Robert_Vaught gptkb:Solomon_Feferman gptkb:Andrzej_Mostowski gptkb:Angus_Macintyre gptkb:C.C._Chang gptkb:Donald_Monk gptkb:Wilfrid_Hodges gptkb:Alfred_Horn gptkb:J._Donald_Monk gptkb:John_C._Shepherdson gptkb:Steven_Givant Alfred Tarski's students
gptkbp:knownFor	gptkb:Tarski's_fixed_point_theorem gptkb:Tarski's_theorem gptkb:Tarski's_undefinability_theorem gptkb:Tarski–Seidenberg_theorem gptkb:Tarski–Kuratowski_algorithm gptkb:Tarski_monster_group semantic theory of truth
gptkbp:memberOf	gptkb:American_Academy_of_Arts_and_Sciences gptkb:National_Academy_of_Sciences gptkb:Polish_Academy_of_Sciences
gptkbp:nationality	gptkb:American Polish
gptkbp:occupation	gptkb:logic gptkb:mathematician
gptkbp:religion	gptkb:Judaism
gptkbp:spouse	gptkb:Maria_Witkowska
gptkbp:bfsParent	gptkb:Jan_Tarski
gptkbp:bfsLayer	6