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.

• Type: Journal
• Year: 2002
• Where: JSYML
• Authors: Mauro Di Nasso
• Keywords: JSYML 2002, Nonstandard, Nonstandard Embedding, Theory Zfc