Skip to main content

Boolean-valued set theory and forcing

This is a preview of subscription content, access via your institution.

References

  1. Cohen, P. J., Set Theory and the Continuum Hypothesis, W. A. Benjamin, New York, 1966.

    Google Scholar 

  2. Friedman, N., ‘One Hundred and Two Problems in Mathematical Logic’, Journal of Symbolic Logic 70 (1975), 113–129.

    Google Scholar 

  3. Halmos, P. R., Lectures on Boolean Algebras, Van Nostrand, Princeton, 1963.

    Google Scholar 

  4. Krivine, J.-L., Introduction to Axiomatic Set Theory, D. Reidel, Dordrecht, Holland, 1971.

    Google Scholar 

  5. Mansfield, R., ‘The Non-Existence of Σ 21 Well-orderings of the Baire Space’, to appear.

  6. Mansfield, R., Horn Classes and Reduced Direct Products, Trans. Amer. Math. Soc. 172 (1972), 279–286.

    Google Scholar 

  7. Scott, D. S. and Solovay, R. M., ‘Boolean Valued Models for Set Theory’, to appear.

  8. Shoenfield, J. R., ‘Unramified Forcing’ in Axiomatic Set Theory (Proc. Symp. Pure Math. XIII-1, Los Angeles, 1967), Amer. Math. Soc., Providence, 1971, pp. 357–381.

  9. Solovay, R. M., ‘A Model of Set Theory in Which Every Set of Reals is Lebesgue Measurable’, Ann. of Math. 92 (1970), 1–56.

    Google Scholar 

  10. Solovay, R. M. and Tennenbaum, S., ‘Iterated Cohen Extensions and Souslin's Problem’, Ann. of Math. 94 (1971), 201–245.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints and Permissions

About this article

Cite this article

Mansfield, R., Dawson, J. Boolean-valued set theory and forcing. Synthese 33, 223–252 (1976). https://doi.org/10.1007/BF00484716

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF00484716