WMatthias Aschenbrenner is a German-American mathematician. He is a professor of mathematics at the University of Vienna and director of the logic group there. His research interests include differential algebra and model theory.
WPeter Jephson Cameron FRSE is an Australian mathematician who works in group theory, combinatorics, coding theory, and model theory. He is currently half-time Professor of Mathematics at the University of St Andrews, and Emeritus Professor at Queen Mary University of London.
WJan Denef is a Belgian mathematician. He is an Emeritus Professor of Mathematics at the Katholieke Universiteit Leuven.
WLaurentius Petrus Dignus "Lou" van den Dries is a Dutch mathematician working in model theory. He is a professor of mathematics at the University of Illinois at Urbana–Champaign.
WHeinz-Dieter Ebbinghaus is a German mathematician and logician.
WLeo Anthony Harrington is a professor of mathematics at the University of California, Berkeley who works in recursion theory, model theory, and set theory.Harrington and Jeff Paris proved the Paris–Harrington theorem.Harrington showed that if the axiom of determinacy holds for all analytic sets then x# exists for all reals x.Harrington and Saharon Shelah showed that the first-order theory of the partially ordered set of recursively enumerable Turing degrees is undecidable.
WWilfrid Augustine Hodges, FBA is a British mathematician, known for his work in model theory.
WEhud Hrushovski is a mathematical logician. He is a Merton Professor of Mathematical Logic at the University of Oxford and a Fellow of Merton College, Oxford. He was also Professor of Mathematics at the Hebrew University of Jerusalem.
WJulia Frandsen Knight is an American mathematician, specializing in model theory and computability theory. She is the Charles L. Huisking Professor of Mathematics at the University of Notre Dame and director of the graduate program in mathematics there.
WSemën Samsonovich Kutateladze is a mathematician. He is known for contributions to functional analysis and its applications to vector lattices and optimization. In particular, he has made contributions to the calculus of subdifferentials for vector-lattice valued functions, to whose study he introduced methods of Boolean-valued models and infinitesimals.
WFrançois Loeser is a French mathematician. He is Professor of Mathematics at the Pierre-and-Marie-Curie University in Paris. From 2000 to 2010 he was Professor at École Normale Supérieure. Since 2015, he is a senior member of the Institut Universitaire de France.
WAngus John Macintyre FRS, FRSE is a British mathematician and logician who is a leading figure in model theory, logic, and their applications in algebra, algebraic geometry, and number theory. He is Emeritus Professor of Mathematics, at Queen Mary University of London.
WH. Dugald Macpherson is a mathematician and logician. He is Professor of Pure Mathematics at the University of Leeds.
WMichael Darwin Morley was an American mathematician. At his death in 2020, Morley was professor emeritus at Cornell University. His research was in mathematical logic and model theory, and he is best known for Morley's categoricity theorem, which he proved in his PhD thesis Categoricity in Power in 1962.
WWillard Van Orman Quine was an American philosopher and logician in the analytic tradition, recognized as "one of the most influential philosophers of the twentieth century." From 1930 until his death 70 years later, Quine was continually affiliated with Harvard University in one way or another, first as a student, then as a professor. He filled the Edgar Pierce Chair of Philosophy at Harvard from 1956 to 1978.
WAbraham Robinson was a mathematician who is most widely known for development of non-standard analysis, a mathematically rigorous system whereby infinitesimal and infinite numbers were reincorporated into modern mathematics. Nearly half of Robinson's papers were in applied mathematics rather than in pure mathematics.
WPeter Roquette is a German mathematician working in algebraic geometry, algebra, and number theory.
WDana Stewart Scott is an American logician who is the emeritus Hillman University Professor of Computer Science, Philosophy, and Mathematical Logic at Carnegie Mellon University; he is now retired and lives in Berkeley, California. His work on automata theory earned him the ACM Turing Award in 1976, while his collaborative work with Christopher Strachey in the 1970s laid the foundations of modern approaches to the semantics of programming languages. He has worked also on modal logic, topology, and category theory.
WJoseph A. Sgro is an American mathematician, neurologist / neurophysiologist, and an engineering technologist / entrepreneur in the field of frame grabbers, high-speed cameras, smart cameras, image processors, computer vision, and machine vision and learning technologies.
WSaharon Shelah is an Israeli mathematician. He is a professor of mathematics at the Hebrew University of Jerusalem and Rutgers University in New Jersey.
WThoralf Albert Skolem was a Norwegian mathematician who worked in mathematical logic and set theory.
WAlfred Tarski, born Alfred Teitelbaum, was a Polish-American logician and mathematician. A prolific author best known for his work on model theory, metamathematics, and algebraic logic, he also contributed to abstract algebra, topology, geometry, measure theory, mathematical logic, set theory, and analytic philosophy.
WRobert Lawson Vaught was a mathematical logician and one of the founders of model theory.
WAlex James Wilkie FRS is a British mathematician known for his contributions to model theory and logic. Previously Reader in Mathematical Logic at the University of Oxford, he was appointed to the Fielden Chair of Pure Mathematics at the University of Manchester in 2007.
WBoris Zilber is a Soviet-British mathematician who works in mathematical logic. He is a professor of mathematical logic at the University of Oxford.