Howard Jerome Keisler

from Wikipedia, the free encyclopedia

Howard Jerome Keisler , called Jerome Keisler, (born December 3, 1936 in Seattle , Washington ) is an American mathematician .

Education

Keisler received his doctorate in 1961 under Alfred Tarski at the University of California, Berkeley, with a thesis on the subject of Ultraproducts and Elementary Classes . In 1966 he received a grant from the Alfred P. Sloan Foundation ( Sloan Research Fellow ).

Teaching

Keisler now teaches at the University of Wisconsin – Madison and works in the areas of model theory and nonstandardanalysis .

In 1973 he published the work Model Theory with Chen Chung Chang , which immediately became the standard work of model theory (first-order predicate logic). The third edition of the book, published in 1990, also contains more recent results and is still considered the "Bible" of model theory.

He is a fellow of the American Mathematical Society . In 1970 he gave a plenary lecture at the International Congress of Mathematicians in Nice (Model Theory).

Works

  • Elementary calculus . - Boston: Prindle, Weber & Schmidt, 1986
  • Handbook of mathematical logic / ed. By Jon Barwise. - Amsterdam: North-Holland, 1983
  • Model Theory . - Amsterdam: North-Holland, 1994. - ISBN 0-444-88054-2
  • Model theory for infinitary logic . - Amsterdam: North-Holland, 1971

Web links

Individual evidence

  1. Howard Jerome Keisler in the Mathematics Genealogy Project (English)Template: MathGenealogyProject / Maintenance / id used