There are good reasons to believe that nonstandard analysis, in some ver- sion or other, will be the analysis of the future. KURT GODEL This book is a compilation and development of lecture notes written for a course on nonstandard analysis that I have now taught several times. Students taking the course have typically received previous introductions to standard real analysis and abstract algebra, but few have studied formal logic. Most of the notes have been used several times in class and revised in the light of that experience. The earlier chapters could be used as the basis of a course at...

This book examines the geometrical notion of orthogonality, and shows how to use it as the primitive concept on which to base a metric structure in affine geometry. The subject has a long history, and an extensive literature, but whatever novelty there may be in the study presented here comes from its focus on geometries hav- ing lines that are self-orthogonal, or even singular (orthogonal to all lines). The most significant examples concern four-dimensional special-relativistic spacetime (Minkowskian geometry), and its var- ious sub-geometries, and these will be prominent throughout. But the...

There are good reasons to believe that nonstandard analysis, in some ver- sion or other, will be the analysis of the future. KURT GODEL This book is a compilation and development of lecture notes written for a course on nonstandard analysis that I have now taught several times. Students taking the course have typically received previous introductions to standard real analysis and abstract algebra, but few have studied formal logic. Most of the notes have been used several times in class and revised in the light of that experience. The earlier chapters could be used as the basis of a course at...