Making the hyperreal line both saturated and complete
Journal of Symbolic Logic 56 (3):1016-1025 (1991)
| Abstract | In a nonstandard universe, the κ-saturation property states that any family of fewer than κ internal sets with the finite intersection property has a nonempty intersection. An ordered field F is said to have the λ-Bolzano-Weierstrass property iff F has cofinality λ and every bounded λ-sequence in F has a convergent λ-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 κ-saturated nonstandard universe in which the hyperreal numbers have the λ-Bolzano-Weierstrass property. The result also applies to certain fragments of set theory and second order arithmetic | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,875 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesRami Grossberg & Saharon Shelah (1986). On the Number of Nonisomorphic Models of an Infinitary Theory Which has the Infinitary Order Property. Part A. Journal of Symbolic Logic 51 (2):302-322.
John T. Baldwin, Rami Grossberg & Saharon Shelah (1999). Transfering Saturation, the Finite Cover Property, and Stability. Journal of Symbolic Logic 64 (2):678-684.
James E. Baumgartner, Alan D. Taylor & Stanley Wagon (1977). On Splitting Stationary Subsets of Large Cardinals. Journal of Symbolic Logic 42 (2):203-214.
William J. Mitchell (2003). A Gitik Iteration with Nearly Easton Factoring. Journal of Symbolic Logic 68 (2):481-502.
Benoît Mariou (2001). Modèles Saturés Et Modèles Engendrés Par Des Indiscernables. Journal of Symbolic Logic 66 (1):325-348.
William J. Mitchell (2004). A Weak Variation of Shelah's I[Ω₂]. Journal of Symbolic Logic 69 (1):94-100.
Rami Grossberg (1991). On Chains of Relatively Saturated Submodels of a Model Without the Order Property. Journal of Symbolic Logic 56 (1):124-128.
Renling Jin (1992). U-Lusin Sets in Hyperfinite Time Lines. Journal of Symbolic Logic 57 (2):528-533.
John Krueger (2003). Fat Sets and Saturated Ideals. Journal of Symbolic Logic 68 (3):837-845.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads13 ( #89,098 of 556,888 )Recent downloads (6 months)2 ( #39,122 of 556,888 )How can I increase my downloads? |
My notes
Discussion
