Vladimir Kanovei and Michael Reeken
Nonstandard Analysis: Axiomatically
Published in2004 by Springer Verlag in the series Monographs
in Mathematics
Table of content
Introduction
Basic notation
Chapter 2 Elementary nonstandard real analysis in the nonstandard universe
Chapter 3 Theories of internal sets
Chapter 4 Metamathematics of
internal theories
Chapter 5 Definable external sets and metamathematics of HST
Chapter 6 Partially saturated universes and the Power Set problem
Chapter 7 Forcing extensions of the nonstandard universe
Chapter 8 Other nonstandard theories
Chapter 9 ``Hyperfinite'' descriptive set theory
References
Index
Addendum 1