1. Model Theory;Chang,1990
2. Measure algebra;Fremlin,1989
3. The isomorphism property in nonstandard analysis and its use in the theory of Banach space;Henson;J. Symbolic Logic,1974
4. Foundations of nonstandard analysis — A gentle introduction to nonstandard extension;Henson,1997
5. Analytic mappings on hyperfinite sets;Henson,1993