Partially saturated universes and the Power Set problem
- 493 Downloads
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.
KeywordsStandard Size Basic Idealization Nonstandard Analysis Elementary Substructure Elementary Embedding
Unable to display preview. Download preview PDF.