Internal set theory (IST) is a mathematical theory of sets developed by Edward Nelson that provides an axiomatic basis for a portion of the nonstandard 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 ZFC 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 nonstandard elements within the set of real numbers can be shown to have properties that correspond to the proper
| Attributes | Values |
|---|
| rdf:type
| |
| rdfs:label
| - Interne Mengenlehre (de)
- Internal set theory (en)
- Внутрішня теорія множин (uk)
|
| rdfs:comment
| - Die interne Mengenlehre (engl. Internal Set Theory (IST)) ist eine syntaktische Version der Nichtstandard-Analysis, die 1977 von Edward Nelson eingeführt wurde. Anders als im modelltheoretischen Ansatz werden Infinitesimale nicht mit Hilfe einer nicht-archimedischen Körpererweiterung konstruiert, sondern durch eine Erweiterung der Mengenlehre innerhalb der reellen Zahlen definiert. (de)
- Internal set theory (IST) is a mathematical theory of sets developed by Edward Nelson that provides an axiomatic basis for a portion of the nonstandard 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 ZFC 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 nonstandard elements within the set of real numbers can be shown to have properties that correspond to the proper (en)
- Внутрішня теорія множин (IST) — математична теорія наборів, розвинених , яка забезпечує аксіоматичну основу для частини нестандартного аналізу, введеного . Замість того, щоб додавати нові елементи до дійсних чисел, аксіоми вводять новий термін, «стандарт», який може використовуватися, щоб зробити дискримінації неможливими під звичайними аксіомами для наборів. Таким чином «IST» — збагачення ZFC: всі аксіоми ZFC виконуються для всіх класичних предикатів, у той час як новий одномісний предикат «стандарт» задовольняє три додаткових аксіоми I, S і T. Зокрема, у підходящих нестандартних елементах в межах множини дійсних чисел, як можна показати, є властивості, які відповідають властивостям нескінченно малих і необмежених елементів. (uk)
|
| dcterms:subject
| |
| Wikipage page ID
| |
| Wikipage revision ID
| |
| Link from a Wikipage to another Wikipage
| |
| Link from a Wikipage to an external page
| |
| sameAs
| |
| dbp:wikiPageUsesTemplate
| |
| has abstract
| - Die interne Mengenlehre (engl. Internal Set Theory (IST)) ist eine syntaktische Version der Nichtstandard-Analysis, die 1977 von Edward Nelson eingeführt wurde. Anders als im modelltheoretischen Ansatz werden Infinitesimale nicht mit Hilfe einer nicht-archimedischen Körpererweiterung konstruiert, sondern durch eine Erweiterung der Mengenlehre innerhalb der reellen Zahlen definiert. (de)
- Internal set theory (IST) is a mathematical theory of sets developed by Edward Nelson that provides an axiomatic basis for a portion of the nonstandard 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 ZFC 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 nonstandard 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. (en)
- Внутрішня теорія множин (IST) — математична теорія наборів, розвинених , яка забезпечує аксіоматичну основу для частини нестандартного аналізу, введеного . Замість того, щоб додавати нові елементи до дійсних чисел, аксіоми вводять новий термін, «стандарт», який може використовуватися, щоб зробити дискримінації неможливими під звичайними аксіомами для наборів. Таким чином «IST» — збагачення ZFC: всі аксіоми ZFC виконуються для всіх класичних предикатів, у той час як новий одномісний предикат «стандарт» задовольняє три додаткових аксіоми I, S і T. Зокрема, у підходящих нестандартних елементах в межах множини дійсних чисел, як можна показати, є властивості, які відповідають властивостям нескінченно малих і необмежених елементів. Формулювання Нельсона зроблено більш доступно для математики, не враховуючи різні складності метаматематичної логіки, які спочатку знадобилися, щоб виправдовувати строгу послідовність нескінченно малих елементів. (uk)
|
| gold:hypernym
| |
| prov:wasDerivedFrom
| |
| page length (characters) of wiki page
| |
| foaf:isPrimaryTopicOf
| |
| is Link from a Wikipage to another Wikipage
of | |
| is Wikipage redirect
of | |
| is Wikipage disambiguates
of | |
| is known for
of | |
| is known for
of | |
| is foaf:primaryTopic
of | |
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)