Internal set theory
Internal set theory (IST) is a mathematical theory of sets developed by Edward Nelson that provides an axiomatic basis for a portion of the non-standard analysis introduced by Abraham Robinson. Instead of adding new elements to the real numbers, Nelson's approach modifies the axiomatic foundations through syntactic enrichment. Thus, the axioms introduce a new term, "standard", which can be used to make discriminations not possible under the conventional axioms for sets. Thus, IST is an enrichment of ZFC: all axioms of ZFC are satisfied for all classical predicates, while the new unary predicate "standard" satisfies three additional axioms I, S, and T. In particular, suitable non-standard elements within the set of real numbers can be shown to have properties that correspond to the properti
Wikipage disambiguates
Wikipage redirect
primaryTopic
Internal set theory
Internal set theory (IST) is a mathematical theory of sets developed by Edward Nelson that provides an axiomatic basis for a portion of the non-standard analysis introduced by Abraham Robinson. Instead of adding new elements to the real numbers, Nelson's approach modifies the axiomatic foundations through syntactic enrichment. Thus, the axioms introduce a new term, "standard", which can be used to make discriminations not possible under the conventional axioms for sets. Thus, IST is an enrichment of ZFC: all axioms of ZFC are satisfied for all classical predicates, while the new unary predicate "standard" satisfies three additional axioms I, S, and T. In particular, suitable non-standard elements within the set of real numbers can be shown to have properties that correspond to the properti
has abstract
Die interne Mengenlehre (engl. ...... der reellen Zahlen definiert.
@de
Internal set theory (IST) is a ...... aining infinitesimal elements.
@en
Link from a Wikipage to an external page
Wikipage page ID
Wikipage revision ID
742,242,976
hypernym
type
comment
Die interne Mengenlehre (engl. ...... der reellen Zahlen definiert.
@de
Internal set theory (IST) is a ...... hat correspond to the properti
@en
label
Internal set theory
@en
Interne Mengenlehre
@de