Henkin

E839552
human legal scholar logician rabbi semantics for first-order logic surname

Henkin is a surname most notably associated with Leon Henkin, an influential logician known for his work in the foundations of mathematics and completeness in first-order logic.

Try in SPARQL Jump to: Surface forms Statements Referenced by

Observed surface forms (4)

Surface form Occurrences
Leon Henkin 0
Henkin semantics 0
Louis Henkin 0

Statements (42)

Predicate Object
instanceOf human ⓘ
legal scholar ⓘ
logician ⓘ
rabbi ⓘ
semantics for first-order logic ⓘ
surname ⓘ
appliesTo higher-order logic ⓘ
type theory ⓘ
characteristic general models ⓘ
countryOfCitizenship Israel ⓘ
United States of America ⓘ
United States of America ⓘ
educatedAt Columbia University ⓘ
Princeton University ⓘ
employer Columbia University ⓘ
University of California, Berkeley ⓘ
fieldOfWork Jewish law ⓘ
foundations of mathematics ⓘ
human rights law ⓘ
international law ⓘ
mathematical logic ⓘ
model theory ⓘ
hasNotableBearer Aron Henkin NERFINISHED ⓘ
Leon Henkin NERFINISHED ⓘ
Louis Henkin NERFINISHED ⓘ
Robyn Henkin NERFINISHED ⓘ
Yehuda Herzl Henkin NERFINISHED ⓘ
influencedBy Alfred Tarski NERFINISHED ⓘ
Kurt Gödel NERFINISHED ⓘ
knownFor Henkin semantics NERFINISHED ⓘ
completeness in first-order logic ⓘ
completeness theorem for first-order logic with equality ⓘ
work on cylindric algebras ⓘ
languageOfOrigin English ⓘ
Yiddish NERFINISHED ⓘ
mainInterest completeness theorems ⓘ
formal semantics ⓘ
proof theory ⓘ
namedAfter Leon Henkin NERFINISHED ⓘ
notableStudent George Boolos NERFINISHED ⓘ
occupation professor ⓘ
usedFor completeness proofs ⓘ

Referenced by (1)

Full triples — surface form annotated when it differs from this entity's canonical label.

Leon Henkin → familyName → Henkin ⓘ