Zum Inhalt springen

Howard Jerome Keisler

aus Wikipedia, der freien Enzyklopädie
Dies ist eine alte Version dieser Seite, zuletzt bearbeitet am 29. April 2007 um 12:37 Uhr durch 206.223.205.33 (Diskussion) (adding link to the English article). Sie kann sich erheblich von der aktuellen Version unterscheiden.
H. Jerome Keisler
Promotion
Thema: Ultraproducts and Elementary Classes
Jahr 1961
Doktorvater: A. Tarski
Uni: Berkeley

Howard Jerome Keisler ist ein amerikanischer Mathematiker.

Studium

Keisler promovierte 1961 bei Alfred Tarski an der University of California, Berkeley mit einer Arbeit zum Thema Ultraproducts and Elementary Classes.

Lehre

Keisler lehrt heute an der Universität von Wisconsin und arbeitet auf den Gebieten der Modelltheorie und Nonstandardanalysis.

1973 veröffentlichte er mit Chen Chung Chang das Werk Model Theory, das sofort zum Standardwerk der Modelltheorie (der Prädikatenlogik erster Stufe) geworden ist. Die dritte Auflage des Buchs, erschienen 1990, enthält auch neuere Resultate und gilt weiterhin als die "Bibel" der Modelltheorie.

Werke

  • 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
  • Modell theory for infinitary logic. - Amsterdam : North-Holland, 1971