P.V., Andreev, On definable standardness predicates in internal set theory, Mathematical Notes, vol. 66, (1999), pp. 803–809 (Russian).Google Scholar

P.V., Andreev, The notion of relative standardness in axiomatic systems of nonstandard analysis, thesis, Dept. Math. Mech., State University of N.I. Lobachevskij, Nizhnij Novgorod, 2002, 96 pp. (Russian).

P.V., Andreev and E.I., Gordon, An axiomatics for nonstandard set theory, based on von Neumann-Bernays-Gödel theory, The Journal of Symbolic Logic, vol. 66, (2001), pp. 1321–1341.Google Scholar

P.V., Andreev and E.I., Gordon, A theory of hyperfinite sets, Annals of Pure and Applied Logic, 28 pages, to appear.

P.V., Andreev and K., Hrbacek, Standard sets in nonstandard set theory, The Journal of Symbolic Logic, vol. 69, (2004), pp. 165–182.Google Scholar

P.V., Andreev and K., Hrbacek, Standardization in nonstandard set theory, unpublished manuscript, September 2001, 35 pp.

D., Ballard, Foundational aspects of “non”standard mathematics, Contemporary Mathematics, vol. 176, American Mathematical Society, Providence, R.I., 1994.Google Scholar

D., Ballard and K., Hrbacek, Standard foundations for nonstandard analysis, The Journal of Symbolic Logic, vol. 57, (1992), pp. 741–748.Google Scholar

S., Baratella and R., Ferro, Nonstandard regular finite set theory, Mathematical Logic Quarterly, vol. 41, (1995), pp. 161–172.Google Scholar

V., Benci, An algebraic approach to nonstandard analysis, Calculus of variations and partial differential equations (G., Buttazzo et al., editors), Springer-Verlag, 1999, pp. 285–386.

V., Benci and M., Di Nasso, Alpha-theory: an elementary axiomatics for nonstandard analysis, Expositiones Mathematicae, vol. 21, (2003), pp. 355–386.Google Scholar

B., Benninghofen and M.M., Richter, Ageneral theory of superinfinitesimals, Fundamenta Mathematicae, vol. 123, (1987), pp. 199–215.Google Scholar

M., Boffa, Forcing et négation de l'axiome de fondement, Académie Royale de Belgique. Classe des Sciences. Mémoires. Collection in-8, Ser. 2, vol. 40, (1972), no. 7.Google Scholar

C.C., Chang and H.J., Keisler, Model theory, 3rd ed., North-Holland Publ. Co., 1990.

N.J., Cutland, Transfer theorems for π-monads, Annals of Pure and Applied Logic, vol. 44, (1989), pp. 53–62.Google Scholar

J.W., Dauben, Georg Cantor: His mathematics and philosophy of the infinite, Princeton University Press, Princeton, 1979.

M., Di Nasso, On the foundations of nonstandard mathematics, Mathematica Japonica, vol. 50, (1999), pp. 131–160.Google Scholar

M., Di Nasso, Nonstandard analysis by means of ideal values of sequences, Reuniting the antipodes–constructive and nonstandard views of the continuum (U., Berger, O., Horst, and P., Schuster, editors), Kluwer Acad. Publishers, 2001, pp. 63–73.

M., Di Nasso, An axiomatic presentation of the nonstandardmethods in mathematics, The Journal of Symbolic Logic, vol. 67, (2002), pp. 315–325.Google Scholar

F., Diener and M., Diener (editors), Nonstandard analysis in practice, Springer-Verlag, Berlin, 1995.

F., Diener and G., Reeb, Analyse non standard, Herrmann Editeurs, Paris, 1989.

P., Fletcher, Nonstandard set theory, The Journal of Symbolic Logic, vol. 54, (1989), pp. 1000–1008.Google Scholar

M., Forti, An axiomatization of standard and nonstandard collections and sets, Nonstandard methods and applications in mathematics, Pisa, June 10–14 2002, abstract of a contributed talk.

A.A., Fraenkel, Y., Bar-Hillel, and A., Levy, Foundations of set theory, North-Holland, Amsterdam, 1973.

H., Gaifman, Elementary embeddings of models of set-theory and certain subtheories, Axiomatic set theory, Proceedings of symposia in pure math., volume XIII, part II (T.J., Jech, editor), AMS, Providence, R.I., 1974, pp. 33–101.

P., Goodyear, Double enlargement of topological spaces, Zeitschrift fur Mathematische Logik und Grundlagen der Mathematik, vol. 30, (1984), no. 5, pp. 389–392.Google Scholar

E.I., Gordon, Relatively nonstandard elements in the theory of internal sets of E. Nelson, Siberian Mathematical Journal, vol. 30, (1989), pp. 89–95 (Russian).Google Scholar

E.I., Gordon, Relative standardness and π-monads of Benninghofen-Richter, Optimizacija, vol. 48(65) (1990), pp. 58–62 (Russian).Google Scholar

E.I., Gordon, Nonstandardmethods in commutative harmonic analysis, American Mathematical Society, Providence, Rhode Island, 1997.

E.I., Gordon, A.G., Kusraev, and S.S., Kutateladze, Infinitesimal analysis, Kluwer, Dordrecht, 2002.

W., Henson, The isomorphism property in nonstandard analysis and its use in the theory of banach space, The Journal of Symbolic Logic, vol. 39, (1974), pp. 717–731.Google Scholar

K., Hrbacek, Axiomatic foundations for nonstandard analysis, FundamentaMathematicae, vol. 98, (1978), pp. 1–19, abstract in the Journal of Symbolic Logic, 41 (1976), 285.Google Scholar

K., Hrbacek, Nonstandard set theory, The American Mathematical Monthly, vol. 86, (1979), pp. 1–19.Google Scholar

K., Hrbacek, Realism, nonstandard set theory, and large cardinals, Annals of Pure and Applied Logic, vol. 109, (2001), pp. 15–48.Google Scholar

K., Hrbacek, Internally iterated ultrapowers, Nonstandard models of arithmetic and set theory (A., Enayat and R., Kossak, editors), Contemporary Math., vol. 361, American Mathematical Society, Providence, R.I., 2004, pp. 87–120.

K., Hrbacek, Some remarks on nonstandard theory of classes, Proceedings of the conference “Geometric topology, discrete mathematics and set theory” (Moscow), 2004, 15 pages; to appear.

K., Hrbacek, Stratified analysis?, Proceedings of the international conference on nonstandard mathematics “NSM2004” (Aveiro), 2004, 11 pages; to appear.

K., Hrbacek, Stratified Set Theory, in preparation.

T., Jech, Set theory, Academic Press, New York, 1978.

V., Kanovei, Undecidable hypotheses in Edward Nelson's internal set theory, Russian Mathematical Surveys, vol. 46, (1991), pp. 1–54.Google Scholar

V., Kanovei and M., Reeken, Internal approach to external sets and universes, part I, Studia Logica, vol. 55, (1995), pp. 227–235.Google Scholar

V., Kanovei and M., Reeken, Internal approach to external sets and universes, part II, Studia Logica, vol. 55, (1995), pp. 347–376.Google Scholar

V., Kanovei and M., Reeken, Internal approach to external sets and universes, part III, Studia Logica, vol. 56, (1996), pp. 293–322.Google Scholar

V., Kanovei and M., Reeken, Isomorphism property in nonstandard extensions of a ZFC universe, Annals of Pure and Applied Logic, vol. 88, (1997), pp. 1–25.Google Scholar

V., Kanovei and M., Reeken, Mathematics in a nonstandardworld, part I, Mathematica Japonica, vol. 45, (1997), pp. 369–408.Google Scholar

V., Kanovei and M., Reeken, Mathematics in a nonstandard world, part II, Mathematica Japonica, vol. 45, (1997), pp. 555–571.Google Scholar

V., Kanovei and M., Reeken, Elementary extensions of external classes in a nonstandard universe, Studia Logica, vol. 60, (1998), pp. 253–273.Google Scholar

V., Kanovei and M., Reeken, A nonstandard set theory in the ∈-language, Archive for Mathematical Logic, vol. 39, (2000), pp. 403–416.Google Scholar

V., Kanovei and M., Reeken, Nonstandard analysis, axiomatically, Springer-Verlag, Berlin, Heidelberg, New York, 2004.

V., Kanovei and S., Shelah, A definable nonstandard model of the reals, The Journal of Symbolic Logic, vol. 69, (2004), pp. 159–164.Google Scholar

T., Kawäı, Axiom systems of nonstandard set theory, Logic symposia, Hakone 1979, 1980 (G., Müller et al., editors), Lecture Notes in Math., vol. 891, Springer, Berlin, 1981, pp. 57–65.

T., Kawäı, Nonstandard analysis by axiomatic method, Southeast Asean conference on logic, Proc. Singapore 1981 (C.T., Chong and M. J., Wicks, editors), Studies inLogic and theFoundations of Math., vol. 111, North-Holland, Amsterdam, 1983, pp. 55–76.

H.J., Keisler, The hyperreal line, Real numbers, generalizations of the reals, and theories of continua (P., Ehrlich, editor), Kluwer, Dordrecht, Boston and London, 1994, pp. 207–237.

K., Kunen, Some applications of iterated ultrapowers in set theory, Annals ofMathematical Logic, vol. 1, (1970), pp. 179–227.Google Scholar

A.G., Kusraev and S.S., Kutateladze, Nonstandard methods of analysis, Nauka, Novosibirsk, 1990 (Russian), English transl. Kluwer, Dordrecht 1994.

P., Maddy, Believing the axioms, part I, The Journal of Symbolic Logic, vol. 53, (1988), pp. 481–511.Google Scholar

P., Maddy, Believing the axioms, part II, The Journal of Symbolic Logic, vol. 53, (1988), pp. 736–764.Google Scholar

V.A., Molchanov, On applications of double nonstandard enlargements to topology, Sibirskij Matematicheskij Zhurnal, vol. 30, (1989), pp. 64–71.Google Scholar

M.E., Moore, A cantorian argument against infinitesimals, Synthese, vol. 133, (2002), pp. 305–330.Google Scholar

M., Murakami, Standardization principle of nonstandard universes, The Journal of Symbolic Logic, vol. 64, (1999), pp. 1645–1655.Google Scholar

E., Nelson, Internal set theory: a new approach to nonstandard analysis, American Mathematical Society Bulletin, vol. 83, (1977), pp. 1165–1198.Google Scholar

E., Nelson, Radically elementary probability theory, Annals of Math. Studies, vol. 117, Princeton University Press, Princeton, N., J., 1987.

E., Nelson, The syntax of nonstandard analysis, Annals of Pure and Applied Logic, vol. 38, (1988), pp. 123–134.Google Scholar

E., Nelson, unfinished book on nonstandard analysis, Ch. 1, Internal set theory, posted at www.math.princeton.edu/ nelson/books.html.

E., Palmgren, A constructive approach to nonstandard analysis, Annals of Pure and Applied Logic, vol. 85, (1995), pp. 297–325.Google Scholar

E., Palmgren, A sheaf-theoretic foundation for nonstandard analysis, Annals of Pure and Applied Logic, vol. 73, (1997), pp. 69–86.Google Scholar

Y., Péraire, Théorie relative des ensembles intérnes, Osaka Journal of Mathematics, vol. 29, (1992), pp. 267–297.Google Scholar

Y., Péraire, Infinitesimal approach of almost-automorphic functions, Annals of Pure and Applied Logic, vol. 63, (1993), pp. 283–297.Google Scholar

Y., Péraire, Some extensions of the principles of idealization transfer and choice in the relative internal set theory, Archive for Mathematical Logic, vol. 34, (1995), pp. 269–277.Google Scholar

Y., Péraire, Formules absolues dans la théorie relative des ensembles intérnes, Rivista di Matematica Pura ed Applicata, vol. 19, (1996), pp. 27–56.Google Scholar

Y., Péraire and G., Wallet, Une théorie relative des ensembles intérnes, Comptes Rendus de l'Académie des Sciences. Paris, Série I. Mathématique, vol. 308, (1989), pp. 301–304.Google Scholar

H., Putnam, Mathematics without foundations, Philosophy of mathematics (P., Benacerraf and H., Putnam, editors), Cambridge Univ. Press, 2nd ed., 1983, pp. 295–311.

W.N., Reinhardt, Remarks on reflection principles, large cardinals, and elementary embeddings, Axiomatic set theory, Proceedings of symposia in pure math., volume XIII, part II (T.J., Jech, editor), AMS, Providence, R.I., 1974, pp. 189–205.

A., Robert, Nonstandard analysis, Wiley, New York, 1988.

A., Robinson, Non-standard analysis, Proceedings of the Royal Academy of Amsterdam, vol. 64, (1961), pp. 432–440, (= Indagationes Mathematicae, 23).Google Scholar

A., Robinson, Non-standard analysis, Studies in logic and the foundations of mathematics, North-Holland, Amsterdam, 1966.

A., Robinson and E., Zakon, A set-theoretical characterization of enlargements, Applications of model theory to algebra, analysis and probability (W.A.J., Luxemburg, editor), Holt, Rinehart and Winston, 1969, pp. 109–122.

D., Singh and S.K., Singh, A survey of nonstandard set theory, Modern Logic, vol. 4, (1994), pp. 237–255.Google Scholar

A., Sochor, The alternative set theory, Set theory and hierarchy theory, Lecture Notes in Math., vol. 537, Springer, Berlin, 1976, pp. 259–273.

K.D., Stroyan, Superinfinitesimals and inductive limits, Nonstandard analysis and its applications (N., Cutland, editor), Cambridge University Press, New York, 1988, pp. 298–320.

K.D., Stroyan, B., Benninghofen, and M.M., Richter, Superinfinitesimals in topology and functional analysis, Proceedings of the LondonMathematical Society, vol. 59, (1989), pp. 153–181.Google Scholar

P., Vopěnka, Mathematics in the alternative set theory, Teubner Texte, Leipzig, 1979.