Skip to main content
Log in

Infinite Forcing and the Generic Multiverse

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

In this article we present a technique for selecting models of set theory that are complete in a model-theoretic sense. Specifically, we will apply Robinson infinite forcing to the collections of models of ZFC obtained by Cohen forcing. This technique will be used to suggest a unified perspective on generic absoluteness principles.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Arrigoni, T., and S.D. Friedman, The hyper universe program, Bulletin of Symbolic Logic 19(1):77–96, 2013.

    Article  Google Scholar 

  2. Bagaria, J., Bounded forcing axioms as principles of generic absoluteness, Archive for Mathematical Logic 39(6):393–401, 2000.

    Article  Google Scholar 

  3. Balaguer, M., Platonism and Anti-platonism in Mathematics, Oxford University Press, 1998.

  4. Cherlin, G., A New Approach to the Theory of Infinitely Generic Structures, Dissertation, Yale University, 1971.

  5. Cohen, P., Skolem and pessimism about proof in mathematics, Philosophical Transaction of the Royal Society A 363:2407–2418, 2005.

    Article  Google Scholar 

  6. Fuchs, G., J.D. Hamkins, and J. Reitz, Set-theoretic geology, Annals of Pure and Applied Logic 166(4):464–501, 2015.

    Article  Google Scholar 

  7. Hamkins, J.D., A simple maximality principle, Journal of Symbolic Logic 68(2):527–550, 2003.

    Article  Google Scholar 

  8. Hamkins, J.D., The set-theoretic multiverse, Review of Symbolic Logic 5:416–449, 2012.

  9. Hamkins, J.D., Upward closure and amalgamation in the generic multiverse of a countable model of set theory, RIMS Kyôkyûroku, pp. 17–31, 2016.

  10. Hamkins, J.D., and T. Johnstone, Resurrection axioms and uplifting cardinals, Archive for Mathematical Logic 50(3–4):463–485, 2014.

    Article  Google Scholar 

  11. Hirschfeld, J., and W.H. Wheeler, Forcing, Arithmetic, Division Rings, Springer, 1975.

  12. Hodges, W., Building Models by Games, Cambridge University Press, 1985.

  13. Magidor, M., Some set theories are more equal then others, First draft from the EFI Project website, 2012.

  14. Manevitz, L., Robinson forcing is not absolute, Israel Journal of Mathematics 25:211–232, 1976.

    Article  Google Scholar 

  15. Väänänen, J., Multiverse set theory and absolutely undecidable propositions, in J. Kennedy (ed.), Interpreting Gödel, Cambridge University Press, 2014, pp. 180–208.

  16. Viale, M., Category forcings, MM\(^{+++}\), and generic absoluteness for the theory of strong forcing axioms, Journal of the American Mathematical Society 29(3):675–728, 2016.

    Article  Google Scholar 

  17. Woodin, H., The axiom of Determinacy, Forcing Axioms, and the Nonstationary Ideal, Walter de Gruyter and Co., 1999.

  18. Woodin, H., The Realm of the Infinite, in M. Heller, and H. Woodin (eds.) Infinity. New Research Frontiers, Cambridge University Press, 2011, pp. 89–118.

Download references

Acknowledgements

We thank an anonymous referee for the careful reading, comments, and criticisms. We acknowledge the kind support of FAPESP in the form of the Jovem Pesquisador grant n. 2016/25891-3.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Giorgio Venturi.

Additional information

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Presented by Daniele Mundici

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Venturi, G. Infinite Forcing and the Generic Multiverse. Stud Logica 108, 277–290 (2020). https://doi.org/10.1007/s11225-019-09851-8

Download citation

  • Received:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11225-019-09851-8

Keywords

Mathematics Subject Classification

Navigation