Standardization principle of nonstandard universes

Journal of Symbolic Logic

Volumn 64, Issue 4, 1999, Pages 1645-1655

  Murakami, Masahiko ^a  

^a UNIVERSITY OF TOKYO   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0033275481     PISSN: 00224812     EISSN: None     Source Type: Journal    
DOI: 10.2307/2586803     Document Type: Article

References (27)

1. J. BELL, A characterization of universal complete Boolean algebras, Journal of the London Mathematical Society, vol. 2 (1975), no. 12, pp. 86-88.
2. _, Boolean-valued models and independence proofs in set theory, 2nd ed., Oxford University Press, Oxford, 1985.
3. A. BLASS, The Rudin-Keisler ordering of P-points, Transactions of the American Mathematical Society, vol. 179 (1973), pp. 145-166.
4. _, End extensions, conservative extensions, and the Rudin-Frolík ordering. Transactions of the American Mathematical Society, vol. 225 (1977), pp. 325-340.
5. C. CHANG and J. KEISLER, Model theory, 3rd ed., North-Holland, Amsterdam, 1990.
6. W. W. COMFORT and S. NEGREPONTIS, The theory of ultrafilters, Springer-Verlag, Berlin, 1974.
7. Z. FROLÍK, Sum of ultrafilters, Bulletin of the American Mathematical Society, vol. 73 (1967), pp. 87-91.
8. S. GRIGORIEFF, Intermediate submodels and generic extension in set theory, Annals of Mathematics, vol. 101 (1975), no. 2, pp. 447-490.
9. P. HALMOS, Lectures on Boolean algebras, Van Nostrand, New York, 1963.
10. T. KAWAI, Nonstandard analysis by axiomatic method, Southeast Asian conference on logic, NorthHolland, Amsterdam, 1983, pp. 55-76.
11. K. KUNEN, Some application of iterated ultrapowers in set theory, Annals of Mathematical Logic, vol. 1 (1970), pp. 179-227.
12. R. MANSFIELD, The theory of Boolean ultrapowers, Annals of Mathematical Logic, vol. 2 (1971), pp. 297-323.
13. E. NELSON, Internal set theory, Bulletin of the American Mathematical Society, vol. 83 (1977), pp. 1165-1198.
14. M. OZAWA, Forcing in nonstandard analysis, Annals of Pure and Applied Logic, vol. 68 (1994), pp. 263-297.
15. _,Scott incomplete boolean ultrapowers on the real line, this JOURNAL, vol. 60 (1995), no. 1.
16. A. ROBINSON, Non-standard analysis, North-Holland, Amsterdam, 1966.
17. M. RUDIN, Partial orders on the type in βN, Transactions of the American Mathematical Society, vol. 155 (1971), no. 2, pp. 353-362.
18. D. SCOTT, Boolean models and nonstandard analysis, Applications of model theory to algebra, analysis and probability, Pasadena, 1967, pp. 89-92.
19. _, Boolean-valued models for set theory, mimeographed notes for the 1967 American Mathematical Society Symposium on axiomatic set theory, 1967.
20. _, Axiomatic set theory, Proceedings of Symposia in Pure Mathematics, no. XIII, part I, American mathematical Society, Providence, 1971.
21. D. SCOTT and R. SOLOVAY, Boolean valued models of set theory, Proceedings of Symposia in pure Mathematics, no. 13, part II.
22. R. SIKORSKI, Boolean algebras, Springer-Verlag, Berlin-Heidelberg-New York, 1964.
23. G. TAKEUTI, Two applications of logic to mathematics, Princeton University Press, Princeton, 1978.
24. G. TAKEUTI and W. M. ZARING, Axiomatic set theory, Springer-Verlag, New York, 1973.
25. P. VOPĚNKA, 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. 189-192.
26. P. VOPĚNKA and P. HÀJEK, The theory of semiset, North-Holland, Amsterdam, 1972.
27. M. YASUGI, Y. TSUJII, and T. MORI, A metatheory of nonstandard analysis, Tsukuba Journal of Mathematics, vol. 17 (1993), no. 1, pp. 251-265.