Journal of Symbolic Logic 57 (2):522-527 (1992)

In an ω1-saturated nonstandard universe a cut is an initial segment of the hyperintegers which is closed under addition. Keisler and Leth in [KL] introduced, for each given cut U, a corresponding U-topology on the hyperintegers by letting O be U-open if for any x ∈ O there is a y greater than all the elements in U such that the interval $\lbrack x - y, x + y\rbrack \subseteq O$ . Let U be a cut in a hyperfinite time line H, which is a hyperfinite initial segment of the hyperintegers. U is called a good cut if there exists a U-meager subset of H of Loeb measure one. Otherwise U is bad. In this paper we discuss the questions of Keisler and Leth about the existence of bad cuts and related cuts. We show that assuming $\mathbf{b} > \omega_1$, every hyperfinite time line has a cut with both cofinality and coinitiality uncountable. We construct bad cuts in a nonstandard universe under ZFC. We also give two results about the existence of other kinds of cuts
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2307/2275286
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 62,374
Through your library

References found in this work BETA

Model Theory.Michael Makkai, C. C. Chang & H. J. Keisler - 1991 - Journal of Symbolic Logic 56 (3):1096.
Countable Ultraproducts Without CH.Michael Canjar - 1988 - Annals of Pure and Applied Logic 37 (1):1-79.
Foundations of Infinitesimal Stochastic Analysis.K. D. Stroyan - 1988 - Journal of Symbolic Logic 53 (4):1261-1262.

Add more references

Citations of this work BETA

Game Sentences and Ultrapowers.Renling Jin & H. Jerome Keisler - 1993 - Annals of Pure and Applied Logic 60 (3):261-274.

Add more citations

Similar books and articles

U-Monad Topologies of Hyperfinite Time Lines.Renling Jin - 1992 - Journal of Symbolic Logic 57 (2):534-539.
Type Two Cuts, Bad Cuts and Very Bad Cuts.Renling Jin - 1997 - Journal of Symbolic Logic 62 (4):1241-1252.
Existence of Some Sparse Sets of Nonstandard Natural Numbers.Renling Jin - 2001 - Journal of Symbolic Logic 66 (2):959-973.
Inverse Problem for Cuts.Renling Jin - 2007 - Logic and Analysis 1 (1):61-89.
Meager Sets on the Hyperfinite Time Line.H. Jerome Keisler & Steven C. Leth - 1991 - Journal of Symbolic Logic 56 (1):71-102.
Set Theoretic Properties of Loeb Measure.Arnold W. Miller - 1990 - Journal of Symbolic Logic 55 (3):1022-1036.
U-Lusin Sets in Hyperfinite Time Lines.Renling Jin - 1992 - Journal of Symbolic Logic 57 (2):528-533.


Added to PP index

Total views
23 ( #470,937 of 2,445,482 )

Recent downloads (6 months)
1 ( #457,182 of 2,445,482 )

How can I increase my downloads?


My notes