6 thinkers, books, and ideas connected to this field.
Taiwanese-American logician who co-authored Model Theory with H. Jerome Keisler — the standard reference text for model theory.
American logician who has made major contributions to model theory — particularly ultraproducts and nonstandard analysis — and co-authored the standard model theory textbook.
French computer scientist who has contributed to the Coq proof assistant — particularly the extraction mechanism that generates executable programs from formal proofs.
New Zealand logician who has contributed to modal logic, categorical logic, and nonstandard analysis.
German computer scientist who has contributed to the Isabelle proof assistant and to the formalization of mathematics in type theory.
Czech-American set theorist who wrote Set Theory — the comprehensive reference work for modern set theory — and has contributed to forcing, large cardinals, and the axiom of choice.