Howard Jerome Keisler
| Howard Jerome Keisler | |
|---|---|
| Nascimento | 3 de dezembro de 1936 (88 anos) Seattle |
| Nacionalidade |  Estadunidense
|
| Alma mater | Universidade da Califórnia em Berkeley |
| Prêmios | Colloquium Lectures (1975), Tarski Lectures (1991) |
| Orientador(es)(as) | Alfred Tarski[1] |
| Instituições | Universidade do Wisconsin-Madison |
| Campo(s) | Matemática |
| Tese | 1961: Ultraproducts and Elementary Classes |
| Notas | «Página pessoal» (em inglês) |
Howard Jerome Keisler (Seattle, 3 de dezembro de 1936) é um matemático estadunidense.
Vida
[editar | editar código-fonte]Keisler obteve um doutorado em 1961 na Universidade da Califórnia em Berkeley, orientado por Alfred Tarski, com a tese Ultraproducts and Elementary Classes.
Keisler é atualmente professor da Universidade do Wisconsin-Madison e trabalha nas áreas de teoria dos modelos e análise não padronizada.
Em 1973 publicou com Chen Chung Chang a obra Model Theory, que logo tornou-se padrão para a teoria dos modelos. A terceira edição do livro foi publicada em 1990, com novos resultados, continuando a ser a "biblia" da teoria dos modelos.
Em 1970 apresentou uma plenária no Congresso Internacional de Matemáticos em Nice (Model Theory).
Obras
[editar | editar código-fonte]- Elementary calculus. - Boston : Prindle, Weber & Schmidt, 1986.
- Handbook of mathematical logic / ed. por 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.
Referências
- ↑ Howard Jerome Keisler (em inglês) no Mathematics Genealogy Project
