## Journal of Symbolic Logic

Renling Jin

#### 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 $\omega_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 $\aleph_1$-isomorphism property implies that bad cuts exist, but no bad cuts are very bad.

#### Article information

Source
J. Symbolic Logic, Volume 62, Issue 4 (1997), 1241-1252.

Dates
First available in Project Euclid: 6 July 2007

https://projecteuclid.org/euclid.jsl/1183745379

Mathematical Reviews number (MathSciNet)
MR1617961

Zentralblatt MATH identifier
0897.03064

JSTOR