Type Two Cuts, Bad Cuts and Very Bad Cuts

Thumbnail Image

Date

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

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

Keywords

Logic

Citation

URI

http://salesiana.dossiersoluciones.com/handle/123456789/153031

Consulte el texto completo en el siguiente enlace:

https://arxiv.org/abs/math/9604210
 http://arxiv.org/abs/math/9604210

Collections

arXiv