Nonstandard Set Theory
Fletcher, Peter
J. Symbolic Logic, Tome 54 (1989) no. 1, p. 1000-1008 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
Nonstandard set theory is an attempt to generalise nonstandard analysis to cover the whole of classical mathematics. Existing versions (Nelson, Hrbacek, Kawai) are unsatisfactory in that the unlimited idealisation principle conflicts with the wish to have a full theory of external sets. I re-analyse the underlying requirements of nonstandard set theory and give a new formal system, stratified nonstandard set theory, which seems to meet them better than the other versions.
Publié le : 1989-09-14
Classification:  
@article{1183743034,
     author = {Fletcher, Peter},
     title = {Nonstandard Set Theory},
     journal = {J. Symbolic Logic},
     volume = {54},
     number = {1},
     year = {1989},
     pages = { 1000-1008},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183743034}
}

Fletcher, Peter. Nonstandard Set Theory. J. Symbolic Logic, Tome 54 (1989) no. 1, pp.  1000-1008. http://gdmltest.u-ga.fr/item/1183743034/