Scott incomplete Boolean ultrapowers of the real line
Journal of Symbolic Logic 60 (1):160-171 (1995)
| Abstract | An ordered field is said to be Scott complete iff it is complete with respect to its uniform structure. Zakon has asked whether nonstandard real lines are Scott complete. We prove in ZFC that for any complete Boolean algebra B which is not (ω, 2)-distributive there is an ultrafilter U of B such that the Boolean ultrapower of the real line modulo U is not Scott complete. We also show how forcing in set theory gives rise to examples of Boolean ultrapowers of the real line which are not Scott complete | |||||||||
| 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,653 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesAnand Pillay & Charles Steinhorn (1987). On Dedekind Complete o-Minimal Structures. Journal of Symbolic Logic 52 (1):156-164.
Ludomir Newelski & Roman Wencel (2001). Definable Sets in Boolean-Ordered o-Minimal Structures. I. Journal of Symbolic Logic 66 (4):1821-1836.
Miklós Erdélyi-Szabó (2000). Undecidability of the Real-Algebraic Structure of Models of Intuitionistic Elementary Analysis. Journal of Symbolic Logic 65 (3):1014-1030.
Friedrich Wehrung (1993). Boolean Universes Above Boolean Models. Journal of Symbolic Logic 58 (4):1219-1250.
Robert Bonnet & Matatyahu Rubin (1991). Elementary Embedding Between Countable Boolean Algebras. Journal of Symbolic Logic 56 (4):1212-1229.
Thomas Jech & Saharon Shelah (1996). On Countably Closed Complete Boolean Algebras. Journal of Symbolic Logic 61 (4):1380-1386.
Aleksander Blaszczyk & Saharon Shelah (2001). Regular Subalgebras of Complete Boolean Algebras. Journal of Symbolic Logic 66 (2):792-800.
J. L. Bell (1997). Zorn's Lemma and Complete Boolean Algebras in Intuitionistic Type Theories. Journal of Symbolic Logic 62 (4):1265-1279.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads2 ( #232,265 of 548,984 )Recent downloads (6 months)1 ( #63,327 of 548,984 )How can I increase my downloads? |
My notes
Discussion
