Skip to main content Accessibility help
×
Home

Standardization principle of nonstandard universes

  • Masahiko Murakami (a1)

Abstract

A bounded ultrasheaf is a nonstandard universe constructed from a superstructure in a Boolean valued model of set theory. We consider the bounded elementary embeddings between bounded ultrasheaves. Then the standardization principle is true if and only if the ultrafilters are comparable by the Rudin-Frolik order. The base concept is that the bounded elementary embeddings correspond to the complete Boolean homomorphisms. We represent this by the Rudin-Keisler order of ultrafilters of Boolean algebras.

Copyright

References

Hide All
[1]Bell, J., A characterization of universal complete Boolean algebras, Journal of the London Mathematical Society, vol. 2 (1975), no. 12, pp. 8688.
[2]Bell, J., Boolean-valued models and independence proofs in set theory, 2nd ed., Oxford University Press, Oxford, 1985.
[3]Blass, A., The Rudin-Keisler ordering of P-points, Transactions of the American Mathematical Society, vol. 179 (1973), pp. 145166.
[4]Blass, A., End extensions, conservative extensions, and the Rudin-Frolik ordering, Transactions of the American Mathematical Society, vol. 225 (1977), pp. 325340.
[5]Chang, C. and Keisler, J., Model theory, 3rd ed., North-Holland, Amsterdam, 1990.
[6]Comfort, W. W. and Negrepontis, S., The theory of ultrafilters, Springer-Verlag, Berlin, 1974.
[7]Frolík, Z., Sum of ultrafilters, Bulletin of the American Mathematical Society, vol. 73 (1967), pp. 8791.
[8]Grigorieff, S., Intermediate submodels and generic extension in set theory, Annals of Mathematics, vol. 101 (1975), no. 2, pp. 447490.
[9]Halmos, P., Lectures on Boolean algebras, Van Nostrand, New York, 1963.
[10]Kawai, T., Nonstandard analysis by axiomatic method, Southeast Asian conference on logic, North-Holland, Amsterdam, 1983, pp. 5576.
[11]Kunen, K., Some application of iterated ultrapowers in set theory, Annals of Mathematical Logic, vol. 1 (1970), pp. 179227.
[12]Mansfield, R., The theory of Boolean ultrapowers, Annals of Mathematical Logic, vol. 2 (1971), pp. 297323.
[13]Nelson, E., Internal set theory, Bulletin of the American Mathematical Society, vol. 83 (1977), pp. 11651198.
[14]Ozawa, M., Forcing in nonstandard analysis, Annals of Pure and Applied Logic, vol. 68 (1994), pp. 263297.
[15]Ozawa, M., Scott incomplete boolean ultrapowers on the real line, this Journal, vol. 60 (1995), no. 1.
[16]Robinson, A., Non-standard analysis, North-Holland, Amsterdam, 1966.
[17]Rudin, M., Partial orders on the type in βN, Transactions of the American Mathematical Society, vol. 155 (1971), no. 2, pp. 353362.
[18]Scott, D., Boolean models and nonstandard analysis, Applications of model theory to algebra, analysis and probability, Pasadena, 1967, pp. 8992.
[19]Scott, D., Boolean-valued models for set theory, mimeographed notes for the 1967 American Mathematical Society Symposium on axiomatic set theory, 1967.
[20]Scott, D., Axiomatic set theory, Proceedings of Symposia in Pure Mathematics, no. XIII, part I, American mathematical Society, Providence, 1971.
[21]Scott, D. and Solovay, R., Boolean valued models of set theory, Proceedings of Symposia in pure Mathematics, no. 13, part II.
[22]Sikorski, R., Boolean algebras, Springer-Verlag, Berlin-Heidelberg-New York, 1964.
[23]Takeuti, G., Two applications of logic to mathematics, Princeton University Press, Princeton, 1978.
[24]Takeuti, G. and Zaring, W. M., Axiomatic set theory, Springer-Verlag, New York, 1973.
[25]Vopěnka, P., The limits of sheaves and applications on constructions of models, Bulletin of the Academy of Polon. Sci. Ser. Sci. Math. Astron. Phys., vol. 13 (1965), pp. 189192.
[26]Vopěnka, P. and Hájek, P., The theory of semiset, North-Holland, Amsterdam, 1972.
[27]Yasugi, M., Tsujii, Y., and Mori, T., A metatheory of nonstandard analysis, Tsukuba Journal of Mathematics, vol. 17 (1993), no. 1, pp. 251265.

Related content

Powered by UNSILO

Standardization principle of nonstandard universes

  • Masahiko Murakami (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.