Logical Foundations of Nonstandard Analysis

This book provides a thorough and systematic presentation of the foundations of Nonstandard Analysis with applications to economic theory. Starting from scratch, from Ackermann's set theory, it moves carefully to Boolean algebra, first order logic, ultraproducts, nonstandard universes, the system of hyper-real numbers, nonstandard analysis proper (including a disquisition on topology relevant for ...