Stratified analysis?

The Strength of Nonstandard Analysis

Volumn , Issue , 2007, Pages 47-63

  Hrbacek, Karel ^a  

^a CITY COLLEGE OF NEW YORK   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 72149125154     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.1007/978-3-211-49905-4_4     Document Type: Chapter

References (33)

1. P.V. ANDREEV, The notion of relative standardness in axiomatic systems of nonstandard analysis. Thesis, Dept. Math. Mech., State University of N.I. Lobachevskij in Nizhnij Novgorod. 2002, 96 pp. (Russian).
2. P.V. ANDREEV. "On definable standardness predicates in internal set theory", Mathematical Notes, 66 (1999) 803-809 (Russian).
3. D. BALLARD, Foundational Aspects of "Non" standard Mathematics, Contemporary Mathematics, vol. 176, American Mathematical Society, Providence, R.I., 1994.
4. V. BENCI and M. Dl NASSO, "Alpha-theory: an elementary axiomatics for nonstandard analysis", Expositiones Math., 21 (2003) 355-386.
5. B. BENNINGHOFEN and M.M. RICHTER, "A general theory of superin-fmitesimals", Fund. Math., 123 (1987) 199-215.
6. C.C. CHANG and H.J. KEISLER, Model Theory, 3rd edition, North-Holland Publ. Co., 1990.
7. G. CHERLIN and J. HIRSCHFELD, Ultrafilters and ultraproducts in nonstandard analysis, in Contributions to Non-standard Analysis, ed. by W.A.J. Luxemburg and A. Robinson, North Holland, Amsterdam 1972.
8. N.J. CUTLAND, "Transfer theorems for 7r-monads", Ann. Pure Appl. Logic, 44 (1989) 53-62.
9. P. FLETCHER, "Nonstandard set theory", J. Symbolic Logic, 54 (1989) 1000-1008.
10. R. GOLDBLATT, Lectures on the Hyperreals: An Introduction to Nonstandard Analysis, Graduate Texts in Math. 188, Springer-Verlag, New York, 1998.
11. E.I. GORDON, "Relatively nonstandard elements in the theory of internal sets of E. Nelson", Siberian Mathematical Journal, 30 (1989) 89-95 (Russian).
12. E.I. GORDON, Nonstandard Methods in Commutative Harmonic Analysis, American Mathematical Society, Providence, Rhode Island, 1997.
13. K. HRBACEK, "Axiomatic foundations for nonstandard analysis", Funda-menta Mathematicae, 98 (1978) 1-19; abstract in J. Symbolic Logic, 41 (1976) 285.
14. K. HRBACEK, "Nonstandard set theory", Amer. Math. Monthly, 86 (1979) 1-19.
15. K. HRBACEK, Internally iterated ultrapowers, in Nonstandard Models of Arithmetic and Set Theory, ed. by A. Enayat and R. Kossak, Contemporary Math. 361, American Mathematical Society, Providence, R.I., 2004.
16. K. HRBACEK, Nonstandard objects in set theory, in Nonstandard Methods and Applications in Mathematics, ed. by N.J. Cutland, M. Di Nasso and D.A. Ross, Lecture Notes in Logic 25, Association for Symbolic Logic, Pasadena, CA., 2005, 41 pp.
17. K. HRBACEK, Relative Set Theory, work in progress.
18. V. KANOVEI and M. REEKEN, "Internal approach to external sets and universes", Studia Logica, Part I, 55 (1995) 227-235; Part II, 55 (1995) 347-376; Part III, 56 (1996) 293-322.
19. V. KANOVEI and M. REEKEN, Nonstandard Analysis, Axiomatically, Springer-Verlag, Berlin, Heidelberg, New York, 2004.
20. H.J. KEISLER, Calculus: An Infinitesimal Approach, Prindle, Weber and Scmidt, 1976, 1986.
21. W.A.J. LUXEMBURG. A general theory of monads, in: W.A.J. Luxemburg, ed., Applications of Model Theory to Algebra, Analysis and Probability, Holt, Rinehart and Winston 1969.
22. V. A. MOLCHANOV, "On applications of double nonstandard enlargements to topology", Sibirsk. Mat. Zh., 30 (1989) 64-71.
23. E. NELSON, "Internal set theory: a new approach to Nonstandard Analysis", Bull. Amer. Math. Soc, 83 (1977) 1165-1198.
24. Y. PÉRAIRE and G. WALLET, "Une théorie relative des ensembles in-térnes", CR. Acad. Sei. Paris, Sér. I, 308 (1989) 301-304.
25. Y. PÉRAIRE, "Théorie relative des ensembles internes", Osaka Journ. Math., 29 (1992) 267-297.
26. Y. PÉRAIRE, "Some extensions of the principles of idealization transfer and choice in the relative internal set theory", Arch. Math. Logic, 34 (1995) 269-277.
27. Y. PÉRAIRE, "Formules absolues dans la théorie relative des ensembles internes", Rivista di Matematica Pura ed Applicata, 19 (1996) 27-56.
28. Y. PÉRAIRE, "Infinitesimal approach of almost-automorphic functions", Annals of Pure and Applied Logic, 63 (1993) 283-297.
29. A. ROBINSON, Non-standard Analysis, Studies in Logic and the Foundations of Mathematics, North-Holland, Amsterdam, 1966.
30. A. ROBINSON and E. ZAKON, A set-theoretical characterization of enlargements, in W.A.J. Luxemburg, ed., Applications of Model Theory to Algebra, Analysis and Probability, Holt, Rinehart and Winston 1969.
31. K.D. STROYAN, Foundations of Infinitesimal Calculus, 2nd ed., Academic Press 1997.
32. K.D. STROYAN, B. BENNINGHOFEN and M.M. RICHTER, "Superin- finitesimals in topology and functional analysis", Proc. London Math. Soc, 59 (1989) 153-181.
33. K.D. STROYAN, Superinfmitesimals and inductive limits, in Nonstandard Analysis and its Applications, ed. by N. Cutland, Cambridge University Press, New York, 1988.