Abstract
AbstractNonstandard set theory is an attempt to generalise nonstandard analysis to cover the whole of classical mathematics. Existing versions (Nelson, Hrbáček, 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.
Publisher
Cambridge University Press (CUP)
Reference7 articles.
1. Fletcher P. , Nonstandard set theory, M.Sc. thesis, University of Bristol, Bristol, 1987.
2. Nonstandard Analysis by Axiomatic Method
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献