Hostname: page-component-8448b6f56d-wq2xx Total loading time: 0 Render date: 2024-04-24T22:19:34.970Z Has data issue: false hasContentIssue false
  • English
  • Français

Type two cuts, bad cuts and very bad cut

Published online by Cambridge University Press:  12 March 2014

Renling Jin
Renling Jin*
Affiliation:
Department of Mathematics, College of Charleston, Charleston, SC 29424, USA E-mail: jin@math.cofc.edu
Get access Rights & Permissions [Opens in a new window]

Abstract

Type two cuts, bad cuts and very bad cuts are introduced in [10] for studying the relationship between Loeb measure and U-topology of a hyperfinite time line in an ω1-saturated nonstandard universe. The questions concerning the existence of those cuts are asked there. In this paper we answer, fully or partially, some of those questions by showing that: (1) type two cuts exist, (2) the ℵ1-isomorphism property implies that bad cuts exist, but no bad cuts are very bad.

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 62 , Issue 4 , December 1997 , pp. 1241 - 1252
Copyright
Copyright © Association for Symbolic Logic 1997

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

[1]Chang, C. C. and Keisler, H. J., Model theory, North-Holland, 1973, third edition, 1990.Google Scholar
[2]Gonshor, H., The ring of finite elements in a nonstandard model of the reals, Journal of the London Mathematical Society, vol. 3 (1971), pp. 493–500.CrossRefGoogle Scholar
[3]Henson, C. W., The isomorphism property in nonstandard analysis and its use in the theory of Banach space, this Journal, vol. 39 (1974), no. 4, pp. 717–731.Google Scholar
[4]Henson, C. W., When do two Banach spaces have isometrically isomorphic nonstandard hulls, Isreal Journal of Mathematics, vol. 22 (1975), pp. 57–67.CrossRefGoogle Scholar
[5]Jin, R., Cuts in hyperfinite time lines, this Journal, vol. 57 (1992), no. 2, pp. 522–527.Google Scholar
[6]Jin, R., The isomorphism property versus the special model axiom, this Journal, vol. 57 (1992), no. 3, pp. 975–987.Google Scholar
[7]Jin, R., A theoremon the isomorphism property, this Journal, vol. 57 (1992), no. 3, pp. 1011–1017.Google Scholar
[8]Jin, R. and Keisler, H. J., Game sentences and ultrapowers, Annals of Pure and Applied Logic, vol. 60 (1993), pp. 261–274.CrossRefGoogle Scholar
[9]Jin, R. and Shelah, S., The strength of the isomorphism property, this Journal, vol. 59 (1994), no. 1, pp. 292–301.Google Scholar
[10]Keisler, H. J. and Leth, S., Meager sets on the hyperfinite time line, this Journal, vol. 56 (1991), no. 1, pp. 71–102.Google Scholar
[11]Lindstrom, T., An invitation to nonstandard analysis, Nonstandard analysis and its application (Cutland, N., editor), Cambridge University Press, 1988.Google Scholar
[12]Schmerl, J., The isomorphism property for nonstandard universes, this Journal, vol. 60 (1995), no. 2, pp. 512–516.Google Scholar
[13]Shelah, S., Vive la différence II-the Ax-Kochen isomorphism theorem, Israel Journal of Mathematics, vol. 85 (1994), pp. 351–390.CrossRefGoogle Scholar
[14]Stroyan, K. D. and Bayod, J. M., Foundation of infinitesimal stochastic analysis, North-Holland, 1986.Google Scholar