internal set theory
formalism that provides an axiomatic basis for nonstandard analysis where, rather than adding new elements to the reals, the axiomatic foundations are modified through syntactic enrichment
formalism that provides an axiomatic basis for nonstandard analysis where, rather than adding new elements to the reals, the axiomatic foundations are modified through syntactic enrichment