Internal set theory (IST) is a mathematical theory of sets developed by Edward Nelson which 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, the axioms introduce a new term, "standard", which can be used to make discriminations not possible under the conventional axioms for sets.

PropertyValue
dbpprop:abstract
  • Internal set theory (IST) is a mathematical theory of sets developed by Edward Nelson which 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, the axioms introduce a new term, "standard", which can be used to make discriminations not possible under the conventional axioms for sets. In particular, non-standard elements within the set of real numbers can be shown to have properties that correspond to the properties of infinitesimal and unlimited elements. Nelson's formulation is made more accessible for the lay-mathematician by leaving out many of the complexities of meta-mathematical logic that were initially required to justify rigorously the consistency of infinitesimal elements.
dbpprop:hasPhotoCollection
dbpprop:reference
rdf:type
rdfs:comment
  • Internal set theory (IST) is a mathematical theory of sets developed by Edward Nelson which 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, the axioms introduce a new term, "standard", which can be used to make discriminations not possible under the conventional axioms for sets.
rdfs:label
  • Internal set theory
owl:sameAs
skos:subject
foaf:page
is dbpprop:redirect of
is owl:sameAs of