Nonstandard objects in set theory
from FOUNDATIONS
Published online by Cambridge University Press: 30 March 2017
Summary
A summary is not available for this content so a preview has been provided. Please use the Get access link above for information on how to access this content.
- Type
- Chapter
- Information
- Nonstandard Methods and Applications in Mathematics , pp. 80 - 120Publisher: Cambridge University PressPrint publication year: 2006
References
, On definable standardness predicates in internal set theory, Mathematical Notes, vol. 66, (1999), pp. 803–809 (Russian).Google Scholar
, 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).
and , 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
and , A theory of hyperfinite sets, Annals of Pure and Applied Logic, 28 pages, to appear.
and , Standard sets in nonstandard set theory, The Journal of Symbolic Logic, vol. 69, (2004), pp. 165–182.Google Scholar
and , Standardization in nonstandard set theory, unpublished manuscript, September 2001, 35 pp.
, Foundational aspects of “non”standard mathematics, Contemporary Mathematics, vol. 176, American Mathematical Society, Providence, R.I., 1994.Google Scholar
and , Standard foundations for nonstandard analysis, The Journal of Symbolic Logic, vol. 57, (1992), pp. 741–748.Google Scholar
and , Nonstandard regular finite set theory, Mathematical Logic Quarterly, vol. 41, (1995), pp. 161–172.Google Scholar
, An algebraic approach to nonstandard analysis, Calculus of variations and partial differential equations ( et al., editors), Springer-Verlag, 1999, pp. 285–386.
and , Alpha-theory: an elementary axiomatics for nonstandard analysis, Expositiones Mathematicae, vol. 21, (2003), pp. 355–386.Google Scholar
and , Ageneral theory of superinfinitesimals, Fundamenta Mathematicae, vol. 123, (1987), pp. 199–215.Google Scholar
, 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
and , Model theory, 3rd ed., North-Holland Publ. Co., 1990.
, Transfer theorems for π-monads, Annals of Pure and Applied Logic, vol. 44, (1989), pp. 53–62.Google Scholar
, Georg Cantor: His mathematics and philosophy of the infinite, Princeton University Press, Princeton, 1979.
, On the foundations of nonstandard mathematics, Mathematica Japonica, vol. 50, (1999), pp. 131–160.Google Scholar
, Nonstandard analysis by means of ideal values of sequences, Reuniting the antipodes–constructive and nonstandard views of the continuum (, , and , editors), Kluwer Acad. Publishers, 2001, pp. 63–73.
, An axiomatic presentation of the nonstandardmethods in mathematics, The Journal of Symbolic Logic, vol. 67, (2002), pp. 315–325.Google Scholar
and (editors), Nonstandard analysis in practice, Springer-Verlag, Berlin, 1995.
and , Analyse non standard, Herrmann Editeurs, Paris, 1989.
, Nonstandard set theory, The Journal of Symbolic Logic, vol. 54, (1989), pp. 1000–1008.Google Scholar
, 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.
, , and , Foundations of set theory, North-Holland, Amsterdam, 1973.
, Elementary embeddings of models of set-theory and certain subtheories, Axiomatic set theory, Proceedings of symposia in pure math., volume XIII, part II (, editor), AMS, Providence, R.I., 1974, pp. 33–101.
, Double enlargement of topological spaces, Zeitschrift fur Mathematische Logik und Grundlagen der Mathematik, vol. 30, (1984), no. 5, pp. 389–392.Google Scholar
, Relatively nonstandard elements in the theory of internal sets of E. Nelson, Siberian Mathematical Journal, vol. 30, (1989), pp. 89–95 (Russian).Google Scholar
, Relative standardness and π-monads of Benninghofen-Richter, Optimizacija, vol. 48(65) (1990), pp. 58–62 (Russian).Google Scholar
, Nonstandardmethods in commutative harmonic analysis, American Mathematical Society, Providence, Rhode Island, 1997.
, , and , Infinitesimal analysis, Kluwer, Dordrecht, 2002.
, 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
, Axiomatic foundations for nonstandard analysis, FundamentaMathematicae, vol. 98, (1978), pp. 1–19, abstract in the Journal of Symbolic Logic, 41 (1976), 285.Google Scholar
, Nonstandard set theory, The American Mathematical Monthly, vol. 86, (1979), pp. 1–19.Google Scholar
, Realism, nonstandard set theory, and large cardinals, Annals of Pure and Applied Logic, vol. 109, (2001), pp. 15–48.Google Scholar
, Internally iterated ultrapowers, Nonstandard models of arithmetic and set theory ( and , editors), Contemporary Math., vol. 361, American Mathematical Society, Providence, R.I., 2004, pp. 87–120.
, Some remarks on nonstandard theory of classes, Proceedings of the conference “Geometric topology, discrete mathematics and set theory” (Moscow), 2004, 15 pages; to appear.
, Stratified analysis?, Proceedings of the international conference on nonstandard mathematics “NSM2004” (Aveiro), 2004, 11 pages; to appear.
, Stratified Set Theory, in preparation.
, Set theory, Academic Press, New York, 1978.
, Undecidable hypotheses in Edward Nelson's internal set theory, Russian Mathematical Surveys, vol. 46, (1991), pp. 1–54.Google Scholar
and , Internal approach to external sets and universes, part I, Studia Logica, vol. 55, (1995), pp. 227–235.Google Scholar
and , Internal approach to external sets and universes, part II, Studia Logica, vol. 55, (1995), pp. 347–376.Google Scholar
and , Internal approach to external sets and universes, part III, Studia Logica, vol. 56, (1996), pp. 293–322.Google Scholar
and , Isomorphism property in nonstandard extensions of a ZFC universe, Annals of Pure and Applied Logic, vol. 88, (1997), pp. 1–25.Google Scholar
and , Mathematics in a nonstandardworld, part I, Mathematica Japonica, vol. 45, (1997), pp. 369–408.Google Scholar
and , Mathematics in a nonstandard world, part II, Mathematica Japonica, vol. 45, (1997), pp. 555–571.Google Scholar
and , Elementary extensions of external classes in a nonstandard universe, Studia Logica, vol. 60, (1998), pp. 253–273.Google Scholar
and , A nonstandard set theory in the ∈-language, Archive for Mathematical Logic, vol. 39, (2000), pp. 403–416.Google Scholar
and , Nonstandard analysis, axiomatically, Springer-Verlag, Berlin, Heidelberg, New York, 2004.
and , A definable nonstandard model of the reals, The Journal of Symbolic Logic, vol. 69, (2004), pp. 159–164.Google Scholar
, Axiom systems of nonstandard set theory, Logic symposia, Hakone 1979, 1980 ( et al., editors), Lecture Notes in Math., vol. 891, Springer, Berlin, 1981, pp. 57–65.
, Nonstandard analysis by axiomatic method, Southeast Asean conference on logic, Proc. Singapore 1981 ( and , editors), Studies inLogic and theFoundations of Math., vol. 111, North-Holland, Amsterdam, 1983, pp. 55–76.
, The hyperreal line, Real numbers, generalizations of the reals, and theories of continua (, editor), Kluwer, Dordrecht, Boston and London, 1994, pp. 207–237.
, Some applications of iterated ultrapowers in set theory, Annals ofMathematical Logic, vol. 1, (1970), pp. 179–227.Google Scholar
and , Nonstandard methods of analysis, Nauka, Novosibirsk, 1990 (Russian), English transl. Kluwer, Dordrecht 1994.
, Believing the axioms, part I, The Journal of Symbolic Logic, vol. 53, (1988), pp. 481–511.Google Scholar
, Believing the axioms, part II, The Journal of Symbolic Logic, vol. 53, (1988), pp. 736–764.Google Scholar
, On applications of double nonstandard enlargements to topology, Sibirskij Matematicheskij Zhurnal, vol. 30, (1989), pp. 64–71.Google Scholar
, A cantorian argument against infinitesimals, Synthese, vol. 133, (2002), pp. 305–330.Google Scholar
, Standardization principle of nonstandard universes, The Journal of Symbolic Logic, vol. 64, (1999), pp. 1645–1655.Google Scholar
, Internal set theory: a new approach to nonstandard analysis, American Mathematical Society Bulletin, vol. 83, (1977), pp. 1165–1198.Google Scholar
, Radically elementary probability theory, Annals of Math. Studies, vol. 117, Princeton University Press, Princeton, , 1987.
, The syntax of nonstandard analysis, Annals of Pure and Applied Logic, vol. 38, (1988), pp. 123–134.Google Scholar
, unfinished book on nonstandard analysis, Ch. 1, Internal set theory, posted at www.math.princeton.edu/ nelson/books.html.
, A constructive approach to nonstandard analysis, Annals of Pure and Applied Logic, vol. 85, (1995), pp. 297–325.Google Scholar
, A sheaf-theoretic foundation for nonstandard analysis, Annals of Pure and Applied Logic, vol. 73, (1997), pp. 69–86.Google Scholar
, Théorie relative des ensembles intérnes, Osaka Journal of Mathematics, vol. 29, (1992), pp. 267–297.Google Scholar
, Infinitesimal approach of almost-automorphic functions, Annals of Pure and Applied Logic, vol. 63, (1993), pp. 283–297.Google Scholar
, 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
, 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
and , 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
, Mathematics without foundations, Philosophy of mathematics ( and , editors), Cambridge Univ. Press, 2nd ed., 1983, pp. 295–311.
, Remarks on reflection principles, large cardinals, and elementary embeddings, Axiomatic set theory, Proceedings of symposia in pure math., volume XIII, part II (, editor), AMS, Providence, R.I., 1974, pp. 189–205.
, Nonstandard analysis, Wiley, New York, 1988.
, Non-standard analysis, Proceedings of the Royal Academy of Amsterdam, vol. 64, (1961), pp. 432–440, (= Indagationes Mathematicae, 23).Google Scholar
, Non-standard analysis, Studies in logic and the foundations of mathematics, North-Holland, Amsterdam, 1966.
and , A set-theoretical characterization of enlargements, Applications of model theory to algebra, analysis and probability (, editor), Holt, Rinehart and Winston, 1969, pp. 109–122.
, The alternative set theory, Set theory and hierarchy theory, Lecture Notes in Math., vol. 537, Springer, Berlin, 1976, pp. 259–273.
, Superinfinitesimals and inductive limits, Nonstandard analysis and its applications (, editor), Cambridge University Press, New York, 1988, pp. 298–320.
, , and , Superinfinitesimals in topology and functional analysis, Proceedings of the LondonMathematical Society, vol. 59, (1989), pp. 153–181.Google Scholar
, Mathematics in the alternative set theory, Teubner Texte, Leipzig, 1979.