ENGLISH

Nonstandard Analysis, Axiomatically

By Vladimir Kanovei , Michael Reeken

Book information

Publisher
Springer
Year
2004
ISBN
354022243X, 9783540222439
Google Books ID
3Zg1TFufGRYC
Language
english
Format
PDF
Filesize
7 MB (6962091 bytes)
Series
Springer Monographs in Mathematics
Edition
1
Pages
427\427
Orientation
no
Scanned
no
Time added
2011-08-31 04:54:40

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.

Similar books