Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q1666284> ?p ?o }
Showing triples 1 to 36 of
36
with 100 triples per page.
- Q1666284 subject Q8681543.
- Q1666284 subject Q8840631.
- Q1666284 abstract "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 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 number systems containing infinitesimal elements.".
- Q1666284 wikiPageExternalLink books.html.
- Q1666284 wikiPageWikiLink Q12916.
- Q1666284 wikiPageWikiLink Q1319773.
- Q1666284 wikiPageWikiLink Q1361825.
- Q1666284 wikiPageWikiLink Q1417326.
- Q1666284 wikiPageWikiLink Q146657.
- Q1666284 wikiPageWikiLink Q1503766.
- Q1666284 wikiPageWikiLink Q1708716.
- Q1666284 wikiPageWikiLink Q179692.
- Q1666284 wikiPageWikiLink Q191849.
- Q1666284 wikiPageWikiLink Q193885.
- Q1666284 wikiPageWikiLink Q227897.
- Q1666284 wikiPageWikiLink Q233858.
- Q1666284 wikiPageWikiLink Q330567.
- Q1666284 wikiPageWikiLink Q36161.
- Q1666284 wikiPageWikiLink Q381346.
- Q1666284 wikiPageWikiLink Q3893614.
- Q1666284 wikiPageWikiLink Q4055684.
- Q1666284 wikiPageWikiLink Q467606.
- Q1666284 wikiPageWikiLink Q57103.
- Q1666284 wikiPageWikiLink Q741810.
- Q1666284 wikiPageWikiLink Q7604.
- Q1666284 wikiPageWikiLink Q76420.
- Q1666284 wikiPageWikiLink Q76556.
- Q1666284 wikiPageWikiLink Q780487.
- Q1666284 wikiPageWikiLink Q8078.
- Q1666284 wikiPageWikiLink Q864213.
- Q1666284 wikiPageWikiLink Q8681543.
- Q1666284 wikiPageWikiLink Q8814.
- Q1666284 wikiPageWikiLink Q8840631.
- Q1666284 wikiPageWikiLink Q9047.
- Q1666284 comment "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.".
- Q1666284 label "Internal set theory".