Howard Jerome Keisler
Erscheinungsbild
H. Jerome Keisler | ||||||||
---|---|---|---|---|---|---|---|---|
Promotion | ||||||||
|
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
Weblinks
Personendaten | |
---|---|
NAME | Keisler, Howard Jerome |
KURZBESCHREIBUNG | amerikanischer Mathematiker |
GEBURTSDATUM | unbekannt |
GEBURTSORT | unbekannt |
STERBEDATUM | unbekannt |
STERBEORT | unbekannt |