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