# Extending the Non-extendible: Shades of Infinity in Large Cardinals and Forcing Theories

- 49 Downloads

## Abstract

This is an article whose intended scope is to deal with the question of infinity in formal mathematics, mainly in the context of the theory of large cardinals as it has developed over time since Cantor’s introduction of the theory of transfinite numbers in the late nineteenth century. A special focus has been given to this theory’s interrelation with the forcing theory, introduced by P. Cohen in his lectures of 1963 and further extended and deepened since then, which leads to a development and further refinement of the theory of large cardinals ultimately touching, especially in view of the discussion in the last section, on the metatheoretical nature of infinity. The whole undertaking, which takes into account major stages of the research in large cardinals theory, tries to present a defensible argumentation against an ontology of infinity actually rooted in the notion of subjectivity within the world. This means that rather than talking of a general ontology of infinity in the ideal platonic or in the aristotelian sense of potentiality, even in the alternative sense of an ontology of the event in A. Badiou’s sense, one can argue from a subjective point of view about the impossibility of defining cardinalities greater than the first uncountable one \(\aleph _{1}\) that would correspond to a distinct existence in real world terms or would be supported by a mathematical intuition in terms of reciprocity with experience. The argumentation from the particular standpoint includes also certain comments on the delimitative character of Gödel’s constructive universe *L* and the influence of the constructive approach in narrowing the breadth of an ‘ontology’ of infinity.

## Keywords

Constructive universe Continuous unity Elementary embedding Forcing theory Generic set Immanent infinity Inner model Large cardinal Measurable cardinal Universe of sets## References

- Badiou A (2005) Being and Event, transl. O. Feltham, London: ContinuumGoogle Scholar
- Feferman S et al (eds) (1990) Kurt Gödel: collected works, vol II. Oxford University Press, OxfordGoogle Scholar
- Feferman S et al (eds) (1995) Kurt Gödel: collected works, vol III. Oxford University Press, OxfordGoogle Scholar
- Hauser K (2006) Gödel’s program revisited part I: the turn to phenomenology. Bull Symb Log 12(4):529–590CrossRefGoogle Scholar
- Hauser K, Woodin HW (2014) Strong axioms of infinity and the debate about realism. J Philos 111(8):397–419CrossRefGoogle Scholar
- Husserl E (1939) Erfahrung und Urteil, hsgb. L. Landgrebe, Prag: Acad./Verlagsbuchhandlung. Engl. translation: (1973),
*Experience and Judgment*, transl. J.S. Churchill & K. Americs, London: Routledge & Kegan PaulGoogle Scholar - Husserl E (1976) Ideen zu einer reinen Phänomenologie und phänomenologischen Philosophie, Erstes Buch, Hua Band III/I, hsgb. K. Schuhmann, Den Haag: M. Nijhoff. Engl. transl.: (1983),
*Ideas pertaining to a pure phenomenology and to a phenomenological philosophy: First Book*, transl. F. Kersten, The Hague: M. NijhoffGoogle Scholar - Husserl E (1984) Logische Untersuchungen, Hua XIX/1, herausg. U. Panzer, The Hague: M. NijhoffGoogle Scholar
- Jech T (2006) Set theory. Springer, BerlinGoogle Scholar
- Jensen BR et al (1974) Measurable cardinals and the GCH. In: Jech T (ed) Axiomatic set theory, proceedings of the symposium in pure mathematics of the AMS. Amer. Math. Soc, Providence, pp 175–179CrossRefGoogle Scholar
- Kanamori A (2009) The higher infinite. Springer, BerlinGoogle Scholar
- Kanamori A (2011) Large cardinals with forcing. In: Kanamori A (ed) Handbook of the history of logic: sets and extensions in the twentieth century. Elsevier BV, AmsterdamGoogle Scholar
- Keisler JH, Tarski A (1964) From accessible to inaccessible cardinals: results for all accessible cardinal numbers and the problem of their extension to inaccessible ones. Fundam Math 57:119Google Scholar
- Kunen K (1971) Elementary embeddings and infinitary combinatorics. J Symb Log 36:407–413CrossRefGoogle Scholar
- Kunen K (1982) Set theory. An introduction to independence proofs. Elsevier Sci. Pub, AmsterdamGoogle Scholar
- Lèvy A, Solovay R (1967) Measurable cardinals and the continuum hypothesis. Israel J Math 5(4):234–248CrossRefGoogle Scholar
- Livadas S (2015) The subjective roots of forcing theory and their influence in independence results. Axiomathes 25(4):433–455CrossRefGoogle Scholar
- Livadas S (2016) What is the nature of mathematical-logical objects? Axiomathes 27(1):79–112CrossRefGoogle Scholar
- Porter J, Woods R (1988) Extensions and absolutes of Hausdorff spaces. Springer, New YorkCrossRefGoogle Scholar
- Smyth BM (1992) Topology. In: Abramsky S, Gabbay D, Maibaum T (eds) Handbook of logic in computer science. Clarendon Press, Oxford, pp 641–761Google Scholar
- Solovay R (1970) A model of set-theory in which every set of reals is lebesgue measurable. Ann Math 2nd Ser 92(1):1–56CrossRefGoogle Scholar
- Solovay R, Reinhardt W, Kanamori A (1978) Strong axioms of infinity and elementary embeddings. Ann Math Log 13:73–116CrossRefGoogle Scholar
- Tarski A (1962) Some problems and results relevant to the foundations of set theory. In: Nagel E, Suppes P, Earski A (eds) Logic, methodology and philosophy of science. Proceedings of the 1960 international congress. Stanford Univ. Press, Stanford, pp 125–135Google Scholar
- Tarski A, Erdös P (1943) On families of mutually exclusive sets. Ann Math 44(2):315–329CrossRefGoogle Scholar
- Tieszen R (2011) After Gödel: platonism and rationalism in mathematics and logic. Oxford University Press, OxfordCrossRefGoogle Scholar
- Van Atten M, van Dalen D, Tieszen R (2002) The phenomenology and mathematics of the intuitive continuum. Philos Math 10(3):203–226CrossRefGoogle Scholar
- Van Dalen D (2004) Logic and structure. Springer, BerinCrossRefGoogle Scholar
- Vopěnka P (1979) Mathematics in the alternative set theory. Teubner, LeipzigGoogle Scholar
- Wang H (1996) A logical journey. From Gödel to philosophy. MIT Press, CambridgeGoogle Scholar
- Woodin HW (2011a) The transfinite universe. In: Baaz M et al (eds) Kurt Gödel and the foundations of mathematics. Cambridge University Press, New York, pp 449–471CrossRefGoogle Scholar
- Woodin HW (2011b) The realm of the infinite. In: Heller M, Woodin HW (eds) Infinity, new research frontiers. Cambridge University Press, New York, pp 89–118CrossRefGoogle Scholar
- Woodin HW (2017) In search of ultimate-L: the 19th Midrasha mathematicae lectures. Bull Symb Log 23(1):1–109CrossRefGoogle Scholar