internal set theory

URI: https://gptkb.org/entity/internal_set_theory
GPTKB entity
Statements (19)
Predicate Object
gptkbp:instanceOf gptkb:set_theory
gptkbp:basedOn gptkb:Zermelo-Fraenkel_set_theory
gptkbp:extendsTo gptkb:Zermelo-Fraenkel_set_theory
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:language gptkb:first-order_logic
gptkbp:publishedIn gptkb:Edward_Nelson's_1977_paper_"Internal_Set_Theory:_A_New_Approach_to_Nonstandard_Analysis"
gptkbp:relatedTo gptkb:nonstandard_analysis
gptkb:Robinson's_nonstandard_analysis
gptkbp:usedIn gptkb:nonstandard_analysis
gptkbp:bfsParent gptkb:nonstandard_analysis
gptkbp:bfsLayer 7