10 research outputs found
Why Is the Universe of Sets Not a Set?
According to the iterative conception of sets, standardly formalized by ZFC, there is no set of all sets. But why is there no set of all sets? A simple-minded, though unpopular, "minimal" explanation for why there is no set of all sets is that the supposition that there is contradicts some axioms of ZFC. In this paper, I first explain the core complaint against the minimal explanation, and then argue against the two main alternative answers to the guiding question. I conclude the paper by outlining a close alternative to the minimal explanation, the conception-based explanation, that avoids the core complaint against the minimal explanation
Why Is the Universe of Sets Not a Set?
According to the iterative conception of sets, standardly formalized by ZFC, there is no set of all sets. But why is there no set of all sets? A simple-minded, though unpopular, "minimal" explanation for why there is no set of all sets is that the supposition that there is contradicts some axioms of ZFC. In this paper, I first explain the core complaint against the minimal explanation, and then argue against the two main alternative answers to the guiding question. I conclude the paper by outlining a close alternative to the minimal explanation, the conception-based explanation, that avoids the core complaint against the minimal explanation
Large Cardinals in Weakened Axiomatic Theories
We study the notion of non-trivial elementary embeddings j from the set-theoretic universe, V, to itself under the assumption that V satisfies various classical and intuitionistic set theories. In particular, we investigate what consequences can be derived if V is only assumed to satisfy Kripke Platek set theory, set theory without Power Set or intuitionistic set theory.
To do this, we construct the constructible universe in Intuitionistic Kripke Platek without Infinity and use this to find lower bounds for such embeddings. We then study the notion of definable embeddings before giving some initial bounds in terms of the standard large cardinal hierarchy. Finally, we give sufficient requirements for there to be no non-trivial elementary embedding of the universe in ZFC without Power Set.
As a by-product of this analysis, we also study Collection Principles in ZFC without Power Set. This leads to models witnessing the failure of various Dependent Choice Principles and to the development of the theory of the Respected Model, a generalisation of symmetric submodels to the class forcing context
Mathematischer Platonismus. Beiträge zu Platon und zur Philosophie der Mathematik
Fragen und Problemen aus der Philosophie der Mathematik wird sowohl systematisch anhand der aktuellen wissenschaftlichen Diskussion wie auch historisch anhand der platonischen Dialoge nachgegangen. Diese Verknüpfung bringt Neues auf beiden Seiten ans Licht