Hostname: page-component-78c5997874-fbnjt Total loading time: 0 Render date: 2024-11-10T12:07:47.415Z Has data issue: false hasContentIssue false
  • English
  • Français

The special model axiom in nonstandard analysis

Published online by Cambridge University Press:  12 March 2014

David Ross
David Ross*
Affiliation:
Department of Mathematics and Statistics, University of Minnesota—Duluth, Duluth, Minnesota 55812
Get access Rights & Permissions [Opens in a new window]

Extract

κ-saturation [SL] is probably the single most useful property of nonstandard models of analysis. For some applications, however, stronger saturation hypotheses seem necessary. Henson formulated his elegant κ-isomorphism property (see [H1], and §2 below) to address this need. This property, though well-suited to certain situations (notably those arising in Banach space theory), is often difficult to apply in practice (see [SL, §7.7]).

In this paper I describe an alternative to κ-isomorphism which is much easier to use; in particular, a proof which assumes that the nonstandard model is fully saturated can usually be converted directly to one using this special model axiom.

Precise definitions of both these axioms appear in §2. In §3 I prove some simple properties of the special model axiom, one of which is that it is at least as strong as κ-isomorphism. In §§4, 5, and 6 the axiom is used to construct a few examples, many of which are pathological, or at the very least counterintuitive. (These examples are given primarily to illustrate use of the axiom; the only one of independent interest is Theorem 5.5.) In §7 some alternative axioms and open problems are discussed.

Many of the results in this paper grew out of discussion and correspondence with C. Ward Henson, to whom I am consequently most grateful.

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 55 , Issue 3 , September 1990 , pp. 1233 - 1242
Copyright
Copyright © Association for Symbolic Logic 1990

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[B]Benninghofen, B., untitled unpublished manuscript.Google Scholar
[CK]Chang, C. C. and Keisler, H. J., Model theory, North-Holland, Amsterdam, 1973.Google Scholar
[F]Forti, M., On the order structure of the nonstandard real axis (abstract), this Journal, vol. 52 (1987), p. 317.Google Scholar
[H1]Henson, C. W., The isomorphism property in nonstandard analysis and its use in the theory of Banach space, this Journal, vol. 39 (1974), pp. 717–731.Google Scholar
[H2]Henson, C. W., Unbounded Loeb measures, Proceedings of the American Mathematical Society, vol. 74 (1979), pp. 143–150.CrossRefGoogle Scholar
[O]Oxtoby, J., Measure and category, Springer-Verlag, New York, 1980.CrossRefGoogle Scholar
[R]Ross, D., Automorphisms of the Loeb algebra, Fundamenta Mathematicae, vol. 128 (1987), pp. 29–36.CrossRefGoogle Scholar
[SB]Stroyan, K. D. and Bayod, J. M., Foundations of infinitesimal analysis, North-Holland, Amsterdam, 1986.Google Scholar
[SL]Stroyan, K. D. and Luxemburg, W. A. J., Introduction to the theory of infinitesimals, Academic Press, New York, 1976.Google Scholar