Sciweavers

JSYML
2002

An Axiomatic Presentation of The Nonstandard Methods in Mathematics

13 years 10 months ago
An Axiomatic Presentation of The Nonstandard Methods in Mathematics
A nonstandard set theory ZFC is proposed that axiomatizes the nonstandard embedding . Besides the usual principles of nonstandard analysis, all axioms of ZFC except regularity are assumed. A strong form of saturation is also postulated. ZFC is a conservative extension of ZFC.
Mauro Di Nasso
Added 22 Dec 2010
Updated 22 Dec 2010
Type Journal
Year 2002
Where JSYML
Authors Mauro Di Nasso
Comments (0)