Partially saturated universes and the Power Set problem

  • Vladimir Kanovei
  • Michael Reeken
Part of the Springer Monographs in Mathematics book series (SMM)


Unlike the model theoretic version of nonstandard analysis, which offers a multiplicity of nonstandard structures with various properties, HST directly provides us with a unique universe | of all internal sets, saturated in a certain maximally possible way, and embedded in the external universe H of all sets. This may appear too boring for a specialist accustomed to deal with peculiar nonstandard models with sometimes hardly achievable properties.


Standard Size Basic Idealization Nonstandard Analysis Elementary Substructure Elementary Embedding 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2004

Authors and Affiliations

  • Vladimir Kanovei
    • 1
  • Michael Reeken
    • 2
  1. 1.IITP, Institute for Information TransmissionMoscowRussian Federation
  2. 2.Bergische Universität WuppertalFB C MathematikWuppertalGermany

Personalised recommendations