Journal of Symbolic Logic

Making the Hyperreal Line Both Saturated and Complete

Abstract

In a nonstandard universe, the $\kappa$-saturation property states that any family of fewer than $\kappa$ internal sets with the finite intersection property has a nonempty intersection. An ordered field $F$ is said to have the $\lambda$-Bolzano-Weierstrass property iff $F$ has cofinality $\lambda$ and every bounded $\lambda$-sequence in $F$ has a convergent $\lambda$-subsequence. We show that if $\kappa < \lambda$ are uncountable regular cardinals and $\beta^\alpha < \lambda$ whenever $\alpha < \kappa$ and $\beta < \lambda$, then there is a $\kappa$-saturated nonstandard universe in which the hyperreal numbers have the $\lambda$-Bolzano-Weierstrass property. The result also applies to certain fragments of set theory and second order arithmetic.

Article information

Source
J. Symbolic Logic, Volume 56, Issue 3 (1991), 1016-1025.

Dates
First available in Project Euclid: 6 July 2007

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

Digital Object Identifier
doi:10.2178/jsl/1183743748

Mathematical Reviews number (MathSciNet)
MR1129164

Zentralblatt MATH identifier
0747.03032

JSTOR