Abstract
Some examples are given which cast some light on such questions as: What (if any) constructive sense can be made out of typical nonstandard measure existence results? Can NSA give any insight into constructive measure theory?
The author is grateful to the organizers for inviting him to this meeting, as well as to Nigel J. Cutland, who was his host at the University of Hull during the Spring 1999 academic semester.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Benedikt, M., Nonstandard analysis in selective universes, Developments in nonstandard mathematics (Aveiro, 1994 ), Pitman Res. Notes Math. Ser. 336 (ed. Cutland, N.J., Neves, V., Oliveira, F. and Sousa-Pinto,J.), Longman, Harlow, 1995
Bishop, E.A., Foundations of constructive analysis, McGraw-Hill, New York (1967)
Bishop, E.A, A constructive ergodic theorem, J. Math. Mech, 17, (1968)
Bishop, E.A. and Cheng, H., Constructive measure theory, Amer. Math. Soc. Memoir 116 (1972)
Bridges, D.S., Constructive functional analysis, Pitman (1979)
Chan, Y.K., A short proof of an existence theorem in constructive measure theory, Proc. Amer. Math. Soc. 48 (1975)
Gordon, E. I., Nonstandard methods in commutative harmonic analysis, Translations of Mathematical Monographs 164, American Mathematical Society, Providence, RI, (1997)
Kamae, T., A simple proof of the ergodic theorem using nonstandard analysis, Israel J. Math 42 (1982)
Loeb, P.A., A combinatorial analog of Lyapunov’s theorem for infinitesimally generated atomic vector measures, Proc. Amer. Math. Soc. 39 (1973).
Martin-Löf, P., Mathematics of infinity, COLOG-88 (Tallinn, 1988), Lecture Notes in Comput. Sci. 417 (ed. Martin-Löf, P. and Mints, G. ), Springer, Berlin (1990)
Keane, M.S., The essence of the law of large numbers, Algorithms, fractals, and dynamics (ed. Takahashi, Y.) Plenum, New York (1995)
Palmgren, E., Developments in constructive nonstandard analysis, Bull. Symbolic Logic 4 (1998)
Ross, D.A., Measures invariant under local homeomorphisms, Proc. Amer. Math. Soc. 102 (1988)
Ross, D.A., Unions of Loeb nullsets, Proc. Amer. Math. Soc., 124 (1996)
Ross, D.A., Loeb measure and probability, Nonstandard Analysis: Theory and Applications (ed. Arkeryd, L., Cutland, N., Henson, C.W., and Wolff, M.), NATO Adv. Sci. Inst. Ser. C Math. Phys. Sci., 493, Kluwer Acad. Publ., Dordrecht (1997)
Ross, D.A., A nonstandard proof of a lemma from constructive measure theory, to appear.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Ross, D.A. (2001). The Constructive Content of Nonstandard Measure Existence Proofs—Is There Any?. In: Schuster, P., Berger, U., Osswald, H. (eds) Reuniting the Antipodes — Constructive and Nonstandard Views of the Continuum. Synthese Library, vol 306. Springer, Dordrecht. https://doi.org/10.1007/978-94-015-9757-9_20
Download citation
DOI: https://doi.org/10.1007/978-94-015-9757-9_20
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-5885-0
Online ISBN: 978-94-015-9757-9
eBook Packages: Springer Book Archive