1995年
Scott Incomplete Boolean Ultrapowers of the Real Line.
J. Symb. Log.
- 巻
- 60
- 号
- 1
- 開始ページ
- 160
- 終了ページ
- 171
- 記述言語
- 英語
- 掲載種別
- 研究論文(学術雑誌)
- DOI
- 10.2307/2275513
- 出版者・発行元
- ASSN SYMBOLIC LOGIC INC
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 (omega, 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.
- リンク情報
-
- DOI
- https://doi.org/10.2307/2275513
- DBLP
- https://dblp.uni-trier.de/rec/journals/jsyml/Ozawa95
- Web of Science
- https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=JSTA_CEL&SrcApp=J_Gate_JST&DestLinkType=FullRecord&KeyUT=WOS:A1995QT52100007&DestApp=WOS_CPL
- URL
- http://projecteuclid.org/euclid.jsl/1183744682
- URL
- https://dblp.uni-trier.de/db/journals/jsyml/jsyml60.html#Ozawa95
- ID情報
-
- DOI : 10.2307/2275513
- ISSN : 0022-4812
- DBLP ID : journals/jsyml/Ozawa95
- Web of Science ID : WOS:A1995QT52100007