Howard Jerome Keisler

Howard Jerome Keisler
Name	Howard Jerome Keisler
Birth date	1936
Birth place	Chicago, Illinois
Fields	Mathematics, Logic, Model Theory, Non-standard Analysis
Alma mater	University of Chicago
Doctoral advisor	Alfred Tarski
Known for	Keisler measure, ultraproducts, non-standard analysis textbook
Awards	AMS fellowship, various lectureships

Howard Jerome Keisler was an American mathematician and logician noted for work in model theory, non-standard analysis, and the application of ultraproducts to algebra and analysis. He made foundational contributions linking the work of Alfred Tarski, A. Robinson, and later researchers in model theory and set theory, and authored a widely used textbook that influenced generations of students and researchers. His career spanned appointments at major institutions and participation in professional organizations such as the American Mathematical Society and the Association for Symbolic Logic.

Early life and education

Keisler was born in Chicago and raised in the milieu of Midwestern academic institutions near University of Chicago and Northwestern University. He completed undergraduate studies before entering graduate school at the University of Chicago, where he studied under Alfred Tarski and engaged with contemporaries linked to the Chicago School of Logic and the broader community shaped by figures such as Jerzy Łoś and Abraham Robinson. His doctoral work built on earlier results by Tarski and Łoś concerning ultraproducts and elementary equivalence, situating him in the lineage that included scholars at Princeton University and the Institute for Advanced Study.

Academic career and positions

Keisler held faculty positions at institutions including the University of Wisconsin–Madison and later the University of Illinois at Chicago, interacting with departments and centers associated with logic, mathematical analysis, and interdisciplinary programs comparable to those at Stanford University and Harvard University. He participated in conferences organized by the Association for Symbolic Logic and gave invited talks at meetings of the American Mathematical Society and the International Congress of Mathematicians. His sabbaticals and visiting appointments connected him with research groups at the University of California, Berkeley, the University of Oxford, and research institutes such as the Mathematical Sciences Research Institute.

Mathematical contributions

Keisler developed and promoted methods using ultraproduct constructions and ultrafilter techniques to bridge model-theoretic concepts with concrete branches of mathematics like measure theory, functional analysis, and probability theory. He synthesized ideas from Abraham Robinson's non-standard calculus and Jerzy Łoś's theorem to produce rigorous frameworks for transfer principles and internal-external distinctions in non-standard models, influencing subsequent work by researchers affiliated with Shelah, Hodges, and Marker. His formalization of hyperreal fields and measures provided tools analogous to constructions in Zermelo–Fraenkel set theory and engaged with independence results reminiscent of methods used in Paul Cohen's forcing. Keisler's exploration of saturation, compactness, and completeness interacted with classical model-theoretic themes developed by Alfred Tarski, Dana Scott, and William T. Gowers-adjacent analysts, and his work informed applications in differential equations and stochastic processes studied by communities at Princeton University and Massachusetts Institute of Technology.

Selected publications

Keisler's major works include a comprehensive textbook on non-standard analysis that became a standard reference alongside texts by Abraham Robinson and expository treatments circulated through the Association for Symbolic Logic. He published influential papers on ultraproducts and measures in journals associated with the American Mathematical Society and presented expository articles for proceedings of the International Congress of Mathematicians and volumes honoring Alfred Tarski and Jerzy Łoś. His writings interacted with themes explored by contemporaries such as Saharon Shelah, H. Jerome Keisler-related collaborators, and scholars from the Logic Colloquium series.

Honors and awards

Keisler received recognition from organizations including the American Mathematical Society and the Association for Symbolic Logic in the form of invited lectureships and fellowship status. He delivered named lectures at universities that host series associated with figures like Tarski and Robinson, and his contributions were acknowledged in festschrifts for leading logicians such as Dana Scott and Alfred Tarski. Professional societies in North America and Europe featured his work in plenary sessions and memorial volumes alongside recipients of awards like the Abel Prize and the Fields Medal.

Personal life and legacy

Colleagues and students remember Keisler for merging rigorous model-theoretic technique with pedagogical clarity, influencing doctoral students who went on to positions at institutions similar to University of California, Berkeley, University of Chicago, and Princeton University. His textbook and research program continue to be cited in work by scholars linked to the Association for Symbolic Logic, the European Mathematical Society, and research centers such as the Mathematical Sciences Research Institute. Keisler's legacy endures through ongoing applications of ultraproducts and non-standard analysis in areas explored at conferences like the Logic Colloquium and in graduate curricula at departments modeled on the traditions of Harvard University and Yale University.

Category:American mathematicians Category:Model theorists Category:1936 births Category:University of Chicago alumni