Theories of internal sets
The class ⌷ of all internal sets, or, more exactly, the structure ⌷, is a very important substructure of the nonstandard set universe of HST because it contains many typically nonstandard objects like infinitely large or infinitesimal numbers (see Chapter 2). It will be demonstrated (Theorem 3.1.8) that 〈⌷ ; ∈, st〉 satisfies the axioms of bounded set theory BST a variant of Nelson’s internal set theory IST.
KeywordsStandard Parameter Standard Function Arbitrary Parameter Basic Idealization Nonstandard Analysis
Unable to display preview. Download preview PDF.