Infinite Forcing and the Generic Multiverse

  • Giorgio VenturiEmail author


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.


Set theory Genericity Forcing Robinson’s infinite forcing Bounded Forcing Axioms Generic absoluteness 

Mathematics Subject Classification

03E35 03E57 03C25 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.



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.


  1. 1.
    Arrigoni, T., and S.D. Friedman, The hyper universe program, Bulletin of Symbolic Logic 19(1):77–96, 2013.CrossRefGoogle Scholar
  2. 2.
    Bagaria, J., Bounded forcing axioms as principles of generic absoluteness, Archive for Mathematical Logic 39(6):393–401, 2000.CrossRefGoogle Scholar
  3. 3.
    Balaguer, M., Platonism and Anti-platonism in Mathematics, Oxford University Press, 1998.Google Scholar
  4. 4.
    Cherlin, G., A New Approach to the Theory of Infinitely Generic Structures, Dissertation, Yale University, 1971.Google Scholar
  5. 5.
    Cohen, P., Skolem and pessimism about proof in mathematics, Philosophical Transaction of the Royal Society A 363:2407–2418, 2005.CrossRefGoogle Scholar
  6. 6.
    Fuchs, G., J.D. Hamkins, and J. Reitz, Set-theoretic geology, Annals of Pure and Applied Logic 166(4):464–501, 2015.CrossRefGoogle Scholar
  7. 7.
    Hamkins, J.D., A simple maximality principle, Journal of Symbolic Logic 68(2):527–550, 2003.CrossRefGoogle Scholar
  8. 8.
    Hamkins, J.D., The set-theoretic multiverse, Review of Symbolic Logic 5:416–449, 2012.Google Scholar
  9. 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.Google Scholar
  10. 10.
    Hamkins, J.D., and T. Johnstone, Resurrection axioms and uplifting cardinals, Archive for Mathematical Logic 50(3–4):463–485, 2014.CrossRefGoogle Scholar
  11. 11.
    Hirschfeld, J., and W.H. Wheeler, Forcing, Arithmetic, Division Rings, Springer, 1975.Google Scholar
  12. 12.
    Hodges, W., Building Models by Games, Cambridge University Press, 1985.Google Scholar
  13. 13.
    Magidor, M., Some set theories are more equal then others, First draft from the EFI Project website, 2012.Google Scholar
  14. 14.
    Manevitz, L., Robinson forcing is not absolute, Israel Journal of Mathematics 25:211–232, 1976.CrossRefGoogle Scholar
  15. 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.Google Scholar
  16. 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.CrossRefGoogle Scholar
  17. 17.
    Woodin, H., The axiom of Determinacy, Forcing Axioms, and the Nonstationary Ideal, Walter de Gruyter and Co., 1999.Google Scholar
  18. 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.Google Scholar

Copyright information

© Springer Nature B.V. 2019

Authors and Affiliations

  1. 1.Philosophy department UnicampBarão Geraldo, CampinasBrazil

Personalised recommendations