Translator Disclaimer
March 2002 An axiomatic presentation of the nonstandard methods in mathematics
Mauro Di Nasso
J. Symbolic Logic 67(1): 315-325 (March 2002). DOI: 10.2178/jsl/1190150046

Abstract

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.

Citation

Download Citation

Mauro Di Nasso. "An axiomatic presentation of the nonstandard methods in mathematics." J. Symbolic Logic 67 (1) 315 - 325, March 2002. https://doi.org/10.2178/jsl/1190150046

Information

Published: March 2002
First available in Project Euclid: 18 September 2007

zbMATH: 1005.03053
MathSciNet: MR1889553
Digital Object Identifier: 10.2178/jsl/1190150046

Subjects:
Primary: 03E70
Secondary: 03H05

Rights: Copyright © 2002 Association for Symbolic Logic

JOURNAL ARTICLE
11 PAGES

This article is only available to subscribers.
It is not available for individual sale.
+ SAVE TO MY LIBRARY

SHARE
Vol.67 • No. 1 • March 2002
Back to Top