Type two cuts, bad cuts and very bad cut

DOI10.2307/2275640zbMATH Open0897.03064arXivmath/9604210OpenAlexW2114475258MaRDI QIDQ4382473FDOQ4382473

Authors: Renling Jin 

Publication date: 11 October 1998

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

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.

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

Recommendations

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

zbMATH Keywords

nonstandard analysisLeob measurebad cutshyperfinite time linetype two cutsU-topology

Mathematics Subject Classification ID

Nonstandard models in mathematics (03H05)

Cites Work

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

Cited In (4)

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

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)