Nonstandard Analysis, Axiomatically
Publisher: Springer Berlin Heidelberg
Published: Dec 07, 2010
Format: paperback
Number of pages: 428
ISBN-13: 9783642060779
Description: The book is devoted to nonstandard set theories that serve as foundational basis for nonstandard mathematics. Several popular and some less known nonstandard theories are considered, including internal set theory IST, Hrbacek set theory HST, and others. The book presents the basic structure of the set universe of these theories and methods to effectively develop "applied" nonstandard analysis, metamathematical properties and interrelations of these nonstandard theories between each other and with ZFC and some variants of ZFC, foundational problems of the theories, including the problem of external sets and the Power Set problem, and methods of their solution. The book is oriented towards a reader having some experience in foundations (set theory, model theory) and in nonstandard analysis.
Notes: Source title: Nonstandard Analysis, Axiomatically (Springer Monographs in Mathematics)