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 | (categorize this paper) |
| DOI | 10.2307/2275513 |
| Options |
Save to my reading list
Follow the author(s)
My bibliography
Export citation
Edit this record
Mark as duplicate
Request removal from index
|
Download optionsOur Archive
Upload a copy of this paper Check publisher's policy Papers currently archived: 27,208
External links
- From the Publisher via CrossRef (no proxy)
- projecteuclid.org
(no proxy) - projecteuclid.org [2] (no proxy)
- projecteuclid.org [3] (no proxy)
- journals.cambridge.org (no proxy)
- jstor.org (no proxy)
- jstor.org [2] (no proxy)
- jstor.org [3] (no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
- Sign in / register and customize your OpenURL resolver..
- Configure custom resolver
References found in this work BETA
The Theory of Boolean Ultrapowers.Richard Mansfield - 1971 - Annals of Mathematical Logic 2 (3):297-323.
Forcing in Nonstandard Analysis.Masanao Ozawa - 1994 - Annals of Pure and Applied Logic 68 (3):263-297.
Citations of this work BETA
No citations found.
Similar books and articlesOn Dedekind Complete o-Minimal Structures.Anand Pillay & Charles Steinhorn - 1987 - Journal of Symbolic Logic 52 (1):156-164.
Definable Sets in Boolean-Ordered o-Minimal Structures. I.Ludomir Newelski & Roman Wencel - 2001 - Journal of Symbolic Logic 66 (4):1821-1836.
Undecidability of the Real-Algebraic Structure of Models of Intuitionistic Elementary Analysis.Miklós Erdélyi-Szabó - 2000 - Journal of Symbolic Logic 65 (3):1014-1030.
Boolean Universes Above Boolean Models.Friedrich Wehrung - 1993 - Journal of Symbolic Logic 58 (4):1219-1250.
Elementary Embedding Between Countable Boolean Algebras.Robert Bonnet & Matatyahu Rubin - 1991 - Journal of Symbolic Logic 56 (4):1212-1229.
On Countably Closed Complete Boolean Algebras.Thomas Jech & Saharon Shelah - 1996 - Journal of Symbolic Logic 61 (4):1380-1386.
Regular Subalgebras of Complete Boolean Algebras.Aleksander Blaszczyk & Saharon Shelah - 2001 - Journal of Symbolic Logic 66 (2):792-800.
Zorn's Lemma and Complete Boolean Algebras in Intuitionistic Type Theories.J. L. Bell - 1997 - Journal of Symbolic Logic 62 (4):1265-1279.
The Modal Logic of Continuous Functions on the Rational Numbers.Philip Kremer - 2010 - Archive for Mathematical Logic 49 (4):519-527.
Monthly downloads
Added to index
2009-01-28Total downloads
11 ( #400,729 of 2,164,289 )Recent downloads (6 months)
1 ( #348,039 of 2,164,289 )How can I increase my downloads?
My notes
Discussion
Nothing in this forum yet.
