Overview

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.

Full Product Details

9783642060779

Table of Contents

Reviews

Author Information

I) Vladimir Kanovei graduated Moscow State university 1973 PhD Moscow State university 1976 Doctor of Science in Phys. Math. Moscow Steklov inst. 1986 assistant to full professor at Moscow Railroad engineering inst. 1976 - 1998 currently leading researcher at Institute for Information transmissin problems (IITP) Moscow interests in mathematics: logic and foundations, set theory, nonstandard analysis publications: over 100 papers in Russian and international mathematical journals II) Michael Reeken PhD in theoretical physics, University of Vienna 1968 Research Fellow at the Battelle Institute, Geneva, 1969 - 1972 Research grant at the University of Bonn, 1972 - 1974 Professor at the University of Bochum, 1972 - 1979 Full Professor at the Bergische Universitat Wuppertal since 1979 interests in mathematics: problems from mathematical physics, nonlinear functional analysis, nonstandard mathematics, philosophy of mathematics.

Tab Content 6

Customer Reviews

Recent Reviews

Countries Available