Benci, Vieri; Di Nasso, Mauro A ring homomorphism is enough to get nonstandard analysis. (English) Zbl 1062.03066 Bull. Belg. Math. Soc. - Simon Stevin 10, No. 4, 481-490 (2003). The paper contains an exposition of some fundamental facts of nonstandard analysis based on a special class of ring homomorphisms. The principal notion of the paper is a {good homomorphism}; this is a special surjective homomorphism of \(\mathbb{R}^I\) where \(I\) is a set on a field \(\mathbb{F}.\) By using incomplete good ultrafilters [H. J. Keisler, Ann. Math. (2) 79, 338–359 (1964; Zbl 0137.00803), K. Kunen, Trans. Am. Math. Soc. 172(1972), 299–306 (1973; Zbl 0263.02033)], it is proved that for every infinite cardinal there exists a good hyper-homomorphism \(\phi:\mathbb{R}^I\rightarrow \mathbb{F}\). It is proved that under the hypothesis \(2^k=k^+\), where \(k\) denotes the succesor cardinal for \(k,\) all hyperreal fields originating from good hyper-homomorphisms on rings \(\mathbb{R}^I\) are isomorphic as ordered fields. Reviewer: Mihail I. Ursul (Oradea) Cited in 7 Documents MSC: 03H05 Nonstandard models in mathematics 26E35 Nonstandard analysis Keywords:nonstandard analysis; Leibniz transfer principle; hyperreal fields; hyper-homomorphism Citations:Zbl 0137.00803; Zbl 0263.02033 PDFBibTeX XMLCite \textit{V. Benci} and \textit{M. Di Nasso}, Bull. Belg. Math. Soc. - Simon Stevin 10, No. 4, 481--490 (2003; Zbl 1062.03066)