Internal Set Theory

Nelson, E. (1977). Internal Set Theory: A New Approach to Nonstandard Analysis. Bulletin of the American Mathematical Society, 1165-1198.

Type

Journal article

Intellectual base

Primary research

Year

1977

DOI

10.1090/s0002-9904-1977-14398-x

Link

https://doi.org/10.1090/S0002-9904-1977-14398-X

Cited by

1 citation across 1 artifact.

Domain-specific

• Internal Set Theory
  • It keeps the sets and membership relation of Zermelo–Fraenkel set theory with Choice, enriches the formal language with a unary predicate \(\operatorname{st}(x)\), read “\(x\) is standard,” and adds three axiom schemes: Transfer, Idealization, and Standardization.

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:f2525492df8a · see in the full table