Type two cuts, bad cuts and very bad cut

DOI10.2307/2275640MaRDI QIDQ4382473zbMATHOpenAlexFDO

Authors Renling Jin

Publication date 11 October 1998

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/9604210

zbMATH Keywords

nonstandard analysisLeob measurebad cutshyperfinite time linetype two cutsU-topology

Mathematics Subject Classification ID

Nonstandard models in mathematics (03H05)

Abstract: Type two cuts, bad cuts and very bad cuts are introduced by Keisler and Leth for studying the relationship between Loeb measure and U-topology of a hyperfinite time line in an $omeg{a}_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 in any nonstandard model of Peano Arithmetic, (2) the $alep{h}_1$-isomorphism property implies that bad cuts exist, but no bad cuts are very bad.

Recommendations

• Cuts in hyperfinite time lines
• Meager sets on the hyperfinite time line
• Publication:5750856

Cites work

• Game sentences and ultrapowers
• The isomorphism property for nonstandard universes
• The strength of the isomorphism property
• Vive la différence. II: The Ax-Kochen isomorphism theorem
• When do two Banach spaces have isometrically isomorphic nonstandard hulls

Cited in

(4)

• Combinatorial principles in nonstandard analysis
• The generic filter property in nonstandard analysis
• Some highly saturated models of Peano arithmetic
• Cuts in hyperfinite time lines

This page was built for publication: Type two cuts, bad cuts and very bad cut

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4382473)