論文

査読有り
1995年

Scott Incomplete Boolean Ultrapowers of the Real Line.

J. Symb. Log.
  • Masanao Ozawa

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

エクスポート
BibTeX RIS