H. Jerome Keisler

H. Jerome Keisler
Name	H. Jerome Keisler
Birth date	1939
Birth place	Chicago
Fields	Mathematics, Logic, Model theory
Institutions	University of Wisconsin–Madison, University of California, Berkeley
Alma mater	University of California, Berkeley
Doctoral advisor	Alfred Tarski
Known for	Nonstandard analysis; ultrapower construction; model-theoretic foundations of calculus

H. Jerome Keisler was an American mathematician and logician notable for foundational work in model theory and for developing accessible formulations of nonstandard analysis. His work bridged communities associated with Alfred Tarski, the University of Wisconsin–Madison, and the broader mathematical logic community, influencing pedagogy in calculus, set theory, and ultrapower methods. Keisler's writings and textbooks introduced model-theoretic techniques to generations of students and researchers associated with institutions such as Harvard University, Princeton University, and University of Chicago.

Early life and education

Keisler was born in Chicago and pursued undergraduate and graduate studies at University of California, Berkeley, where he studied under Alfred Tarski and became immersed in the traditions of mathematical logic, set theory, and model theory. During his graduate training he interacted with scholars affiliated with Berkeley such as Paul Cohen, Dana Scott, and visiting academics from Harvard University and Princeton University. Keisler's dissertation work was shaped by developments in first-order logic and by contemporaneous advances emerging from conferences at Institute for Advanced Study and symposia involving Kurt Gödel and Alonzo Church.

Academic career and positions

Keisler held faculty positions at the University of Wisconsin–Madison and later at University of California, Berkeley, participating in departments that included scholars from Stanford University, Yale University, and Columbia University. He taught courses that connected classical material in calculus with model-theoretic perspectives influenced by Tarski and contacts with researchers at University of Chicago and MIT. Keisler also engaged with professional organizations such as the American Mathematical Society and the Association for Symbolic Logic, presenting at meetings alongside figures from Princeton and Harvard and collaborating with colleagues affiliated with Cornell University and University of Illinois.

Research and contributions

Keisler's research centered on model theory and the systematic use of ultrapower constructions to produce *nonstandard models* of analysis, contributing to what became known as nonstandard analysis. He formulated accessible treatments of infinitesimal methods that connected to classical analysis developed by mathematicians at École Normale Supérieure, University of Göttingen, and later traditions from Cambridge University and Oxford University. Keisler emphasized transfer principles that echoed themes found in work by Jerzy Łoś and innovations associated with Ultrafilter theory and the Axiom of Choice debated by scholars such as Paul Cohen and Kurt Gödel. His approach clarified connections among first-order logic, elementary embeddings, and applications to differential equations and measure theory studied at institutions like Columbia and Rutgers University.

Keisler advanced the pedagogy of calculus by producing model-theoretic expositions that argued for using nonstandard methods to simplify proofs traditionally taught in courses influenced by curricula at Princeton and Harvard. He articulated how ultrapowers and saturation properties yield compactness and continuity results that correspond to classical theorems in real analysis proven in traditions stemming from Weierstrass and Cantor. His work intersected with researchers in probability theory and ergodic theory at University of Michigan and University of California, Los Angeles, and it inspired later applications in economics and game theory explored at Yale and Stanford.

Selected works and publications

Keisler authored textbooks and papers that became standard references in mathematical logic and foundations of mathematics. Prominent publications include his textbook on calculus using nonstandard analysis, materials circulated to departments such as Berkeley and Wisconsin–Madison, and articles in journals frequented by contributors from Princeton and Harvard. His writing often cited classical expositions by scholars from Cambridge University and Göttingen while advancing model-theoretic clarity in the spirit of Tarski and Łoś. Keisler’s expository monographs influenced collections and conference proceedings at venues like the Institute for Advanced Study and symposia organized by the Association for Symbolic Logic.

Awards and honors

Throughout his career Keisler received recognition from academic societies that include the American Mathematical Society and the Association for Symbolic Logic. His pedagogical influence was acknowledged by university awards at University of Wisconsin–Madison and through invited addresses at national meetings attended by faculty from MIT, Yale University, and Columbia University. He was invited to lecture at international venues that brought together logicians from Princeton, Harvard, and continental centers such as Paris and Hamburg.

Personal life and legacy

Keisler's legacy is visible in the continued use of nonstandard techniques in undergraduate and graduate instruction at departments such as Berkeley, University of Chicago, and University of Michigan, and in research programs at Princeton and Harvard that incorporate model-theoretic methods. Former students and collaborators affiliated with Stanford University, Yale University, and Rutgers University have continued to apply his approaches in areas ranging from differential equations to mathematical economics. Keisler’s textbooks and papers remain referenced in curricula and in the archives of the Association for Symbolic Logic, sustaining connections among generations of logicians and mathematicians across institutions such as Cornell University and Columbia University.

Category:American mathematicians Category:Mathematical logicians