The book is devoted to nstandard set theories that serve as foundational basis for nstandard mathematics. Several popular and some less kwn nstandard 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 nstandard analysis, metamathematical properties and interrelations of these nstandard 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 nstandard analysis.
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.
Michael Reeken, Vladimir Kanovei
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Date of Publication
Springer Monographs in Mathematics
Place of Publication
Country of Publication
Springer-Verlag Berlin and Heidelberg GmbH & Co. K