Charles Steinhorn
Charles Steinhorn received his Ph.D. from the University of Wisconsin at Madison in
mathematical logic under the supervision of H. J. Keisler. Within logic,
his speciality is model theory, with emphasis on o-minimality and, more
generally, ordered structures.
He participates in a weekly research seminar in logic that is NSF funded and brings together
mathematicians from Vassar, Wesleyan
University, University of
Connecticut, Holy Cross, University of Massachusetts at Dartmouth,
Marist College, and occasionally
logicians from other institutions in the region.
Some of his recent papers include:
- A. Mekler, M. Rubin and C. Steinhorn,
Dedekind completeness and the algebraic complexity of o-minimal structures,
Canadian Journal of Mathematics, (44) 1992, 843--855.
- D. Marker and C. Steinhorn,
Definable types in o-minimal theories,
Journal of Symbolic Logic, (59) 1994, 185--198.
- H. D. Macpherson and C. Steinhorn,
On variants of o-minimality,
Annals of Pure and Applied Logic, to appear.
(Download in gzipped PS format)
- M. C. Laskowski and C. Steinhorn,
On o-minimal expansions of archimedean ordered groups,
Journal of Symbolic Logic, to appear.
- H. D. Macpherson, D. Marker, and C. Steinhorn,
On weakly o-minimal structures,
preprint.
- H. D. Macpherson and C. Steinhorn,
Extending definable partial orders on o-minimal structures to definable total orders,
preprint.
(Download in gzipped PS format)
- K. Peterzil and C. Steinhorn,
Definable compactness and definable subgroups of o-minimal groups,
preprint.
(Download in gzipped PS format)
He also is the coauthor of the introductory text (with John Feroe, also at Vassar):
- J. Feroe and C. Steinhorn,
Single-Variable Calculus with Discrete Mathematics. San Diego: Harcourt
Brace Jovanovich, 1991, xvi + 1021 pp.
Office: Rockefeller 404
Phone: (845) 437-5524 (office), 437-5525 (secretary)
e-Mail: steinhorn@vassar.edu
last revised 17 January 2006 by Benjamin Lotto