Statements (21)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:set_theory
|
| gptkbp:author |
gptkb:Edward_Nelson
|
| gptkbp:basedOn |
gptkb:Zermelo-Fraenkel_set_theory
|
| gptkbp:extendsTo |
gptkb:Zermelo-Fraenkel_set_theory
|
| gptkbp:fieldOfStudy |
gptkb:logic
gptkb:set_theory gptkb:nonstandard_analysis |
| gptkbp:hasAxiom |
Transfer
Standardization Idealization |
| gptkbp:hasConcept |
external set
internal set standard set |
| https://www.w3.org/2000/01/rdf-schema#label |
Internal Set Theory
|
| gptkbp:introduced |
gptkb:Edward_Nelson
|
| gptkbp:introducedIn |
1977
|
| gptkbp:publicationYear |
1977
|
| gptkbp:publishedIn |
gptkb:Internal_Set_Theory:_A_New_Approach_to_Nonstandard_Analysis
|
| gptkbp:usedFor |
gptkb:nonstandard_analysis
|
| gptkbp:bfsParent |
gptkb:Edward_Nelson
|
| gptkbp:bfsLayer |
5
|