Skip to main content Accessibility help
×
Home

Scott incomplete Boolean ultrapowers of the real line

  • Masanao Ozawa (a1)

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 of B such that the Boolean ultrapower of the real line modulo 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.

Copyright

References

Hide All
[1]Bell, J. L., Boolean-valued models and independence proofs in set theory, 2nd ed., Oxford University Press, Oxford, 1985.
[2]Chang, C. C. and Keisler, H. J., Model Theory, 3rd ed., North-Holland, Amsterdam, 1990.
[3]Cohen, L. W. and Goffman, C., The topology of ordered abelian groups, Transactions of the American Mathematical Society, vol. 67 (1949), pp. 310319.
[4]Kamo, S., Nonstandard natural number systems and nonstandard models, this Journal, vol. 46 (1981), pp. 365376.
[5]Kamo, S., Non-standard real number systems with regular gaps, Tsukuba Journal of Mathematics, vol. 5 (1981), pp. 2124.
[6]Keisler, H. J. and Schmerl, J. H., Making the hyperreal line both saturated and complete, this Journal, vol. 56 (1991), pp. 10161025.
[7]Mansfield, R., The theory of Boolean ultrapowers, Annals of Mathematical Logic, vol. 2 (1971), pp. 297323.
[8]Ozawa, M., Forcing in nonstandard analysis, Annals of Pure and Applied Logic, vol. 68 (1994), pp. 263297.
[9]Robinson, A., Non-standard analysis, North-Holland, Amsterdam, 1966.
[10]Schmerl, J. H., Models of Peano arithmetic and a question of Sikorski on ordered fields, Israel Journal of Mathematics, vol. 50 (1985), pp. 145159.
[11]Scott, D., On completing ordered fields, Applications of model theory of algebra, analysis, and probability (Luxemburg, W. A. J., editor), Holt, Rinehart, and Winston, New York, 1969, pp. 274278.
[12]Takeuti, G. and Zaring, W. M., Axiomatic set theory, Springer-Verlag, New York, 1973.
[13]Zakon, E., Remarks on the nonstandard real axis, Applications of model theory to algebra, analysis, and probability (Luxemburg, W. A. J., editors), Holt, Rinehart, and Winston, New York, 1969, pp. 195227.

Related content

Powered by UNSILO

Scott incomplete Boolean ultrapowers of the real line

  • Masanao Ozawa (a1)

Metrics

Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed.