Developments in constructive nonstandard analysis

Bulletin of Symbolic Logic

Volumn 4, Issue 3, 1998, Pages 233-272

  Palmgren, Erik ^a  

^a UPPSALA UNIVERSITY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0032148333     PISSN: 10798986     EISSN: None     Source Type: Journal    
DOI: 10.2307/421031     Document Type: Article

References (29)

1. E. BISHOP, Foundations of constructive analysis, McGraw-Hill, 1967.
2. E. BISHOP and D. S. BRIDGES, Constructive analysis, Springer-Verlag, Berlin, 1985.
3. A. BLASS, Two closed categories of filters, Fundamenta Mathematicae, vol. 94 (1977), pp. 129-143.
4. D. S. BRIDGES and F. RICHMAN, Varieties of constructive mathematics, Cambridge University Press, Cambridge, 1987.
5. P. CARTIER and Y. PERRIN, Integration over finite sets, in [9].
6. R. CHUAQUI and P. SUPPES, Free-variable axiomatic foundations of infinitesimal analysis: A fragment with finitary consistency proof , this JOURNAL, vol. 60 (1995), pp. 122-159.
7. T. COQUAND, A formal space of ultra filters, Annals of Pure and Applied Logic, to appear.
8. P. DELFINI and C. LOBRY, The vibrating string, in [9].
9. F. Diener and M. Diener (editors), Nonstandard analysis in practice, Springer-Verlag, Berlin, 1995.
10. F. DIENER and G. REEB, Analyse non standard, Hermann, Paris, 1989.
11. J. HARTHONG, Éléments pour une théorie du continu, Astérisque, vol. 109-110 (1983), pp. 235-244.
12. V. G. KANOVEI, The correctness of Euler's method for the factorization of the sine function into an infinite product, Russian Mathematical Surveys, vol. 43 (1988), pp. 65-94.
13. W. A. J. LUXEMBURG, What is nonstandard analysis?, American Mathematical Monthly, vol. 80 (1973), pp. 38-67.
14. S. MAC LANE and I. MOERDIJK, Sheaves in geometry and logic, Springer-Verlag, Berlin, 1992.
15. P. MARTIN-LÖF, Intuitionistic type theory, Bibliopolis, Naples, 1984.
16. _, Mathematics of infinity, COLOG-88 Computer logic (P. Martin-Löf and G. E. Mints, editors), Lecture Notes in Computer Science, vol. 417, Springer-Verlag, Berlin, 1990, pp. 146-197.
17. I. MOERDIJK, A model for intuitionistic nonstandard arithmetic, Annals of Pure and Applied Logic, vol. 73 (1995), pp. 37-51.
18. I. MOERDIJK and E. PALMGREN, Minimal models of Heyting arithmetic, this JOURNAL, vol. 62 (1997), pp. 1448-1460.
19. I. MOERDIJK and G. E. REYES, Smooth infinitesimal analysis, Springer-Verlag, 1991.
20. J. MYCIELSKI, Analysis without actual infinity, this JOURNAL, vol. 46 (1981), pp. 625-633.
21. E. NELSON, Radically elementary probability theory, Princeton University Press, 1987.
22. E. PALMGREN, A constructive approach to nonstandard analysis, Annals of Pure and Applied Logic, vol. 73 (1995), pp. 297-325.
23. _, Constructive nonstandard analysis, Méthodes et analyse non standard (A. Pétry, editor), Cahiers du Centre de Logique, vol. 9, Academia, Louvain-la-Neuve, 1996, pp. 369-397.
24. _, Sheaf-theoretic foundation for nonstandard analysis, Annals of Pure ana Applied Logic, vol. 85 (1997), pp. 69-86.
25. F. RICHMAN, Polynomials and linear transformations, Linear Algebra and its Applications, vol. 131 (1990), pp. 131-137.
26. A. ROBINSON, Non-standard analysis, Princeton University Press, 1996, reprint of the 1973 edition with a foreword by W. A. J. Luxemburg.
27. C. SCHMIEDEN and D. LAUGWITZ, Eine Erweiterung der Infinitesimalrechnung, Mathematisches Zeitschrift, vol. 69 (1958), pp. 1-39.
28. K. D. STROYAN and W. A. J. LUXEMBURG, Introduction to the theory of infinitesimals, Academic Press, New York, 1976.
29. F. WATTENBERG, Nonstandard analysis and constructivism?, Studia Logica, vol. 47 (1988), pp. 303-309.