gptkbp:instanceOf
|
gptkb:logic
gptkb:mathematician
gptkb:person
|
gptkbp:almaMater
|
gptkb:University_of_Warsaw
|
gptkbp:awardReceived
|
gptkb:Leroy_P._Steele_Prize
gptkb:National_Medal_of_Science
|
gptkbp:birthDate
|
1901-01-14
|
gptkbp:birthName
|
gptkb:Alfred_Teitelbaum
|
gptkbp:birthPlace
|
gptkb:Warsaw,_Poland
|
gptkbp:child
|
gptkb:Andrzej_Tarski
|
gptkbp:citizenship
|
gptkb:Poland
gptkb:United_States
|
gptkbp:deathDate
|
1983-10-26
|
gptkbp:deathPlace
|
gptkb:Berkeley,_California,_USA
|
gptkbp:doctoralAdvisor
|
gptkb:Stanisław_Leśniewski
|
gptkbp:doctoralStudent
|
gptkb:Abraham_Robinson
gptkb:Dana_Scott
gptkb:Donald_B._A._Epstein
gptkb:Haim_Gaifman
gptkb:Jerzy_Łoś
gptkb:Julia_Robinson
gptkb:Leon_Henkin
gptkb:Robert_Vaught
gptkb:Solomon_Feferman
|
gptkbp:employer
|
gptkb:University_of_California,_Berkeley
gptkb:University_of_Warsaw
|
gptkbp:field
|
gptkb:algebra
gptkb:geometry
gptkb:logic
gptkb:set_theory
gptkb:topology
model theory
semantics
|
https://www.w3.org/2000/01/rdf-schema#label
|
Alfred Tarski
|
gptkbp:influenced
|
gptkb:Dana_Scott
gptkb:Robert_Vaught
gptkb:Solomon_Feferman
|
gptkbp:influencedBy
|
gptkb:Jan_Łukasiewicz
gptkb:Kazimierz_Twardowski
gptkb:Kurt_Gödel
gptkb:Stanisław_Leśniewski
gptkb:Wacław_Sierpiński
|
gptkbp:knownFor
|
gptkb:Banach–Tarski_paradox
gptkb:Tarski's_World
gptkb:Tarski's_fixed_point_theorem
gptkb:Tarski's_theorem
gptkb:Tarski's_undefinability_theorem
gptkb:Tarski–Seidenberg_theorem
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:publishedIn
|
gptkb:A_Decision_Method_for_Elementary_Algebra_and_Geometry
gptkb:Introduction_to_Logic_and_to_the_Methodology_of_Deductive_Sciences
gptkb:Logic,_Semantics,_Metamathematics
gptkb:The_Concept_of_Truth_in_Formalized_Languages
|
gptkbp:religion
|
gptkb:Judaism
|
gptkbp:spouse
|
gptkb:Maria_Witkowska
|
gptkbp:bfsParent
|
gptkb:Yehoshua_Bar-Hillel
|
gptkbp:bfsLayer
|
3
|