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.
KeywordsHull Sine Prefix Verse Cardi
Unable to display preview. Download preview PDF.