No label defined (Q3934387)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article |
Statements
1981
0 references
set-theoretic axiom systems for nonstandard analysis
0 references
standard, internal, and external sets
0 references
extension of Nelson's internal set theory
0 references
conservative extension of ZFC
0 references
