How to Choose New Axioms for Set Theory?

In Stefania Centrone, Deborah Kant & Deniz Sarikaya (eds.), Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts. Springer Verlag. pp. 27-42 (2019)
  Copy   BIBTEX

Abstract

We address the problem of the choice of new axioms for set theory. After discussing some classical views about the notion of axiom in mathematics, we present the most currently debated candidates for a new axiomatisation of set theory, including Large Cardinal axioms, Forcing Axioms and Projective Determinacy and we illustrate some of the main arguments presented in favour or against such principles.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,867

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Axioms.Penelope Maddy - 1990 - In Realism in mathematics. New York: Oxford University Prress.
Proving Theorems from Reflection.Philip Welch - 2019 - In Stefania Centrone, Deborah Kant & Deniz Sarikaya (eds.), Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts. Springer Verlag. pp. 79-97.
What Do We Want a Foundation to Do?Penelope Maddy - 2019 - In Stefania Centrone, Deborah Kant & Deniz Sarikaya (eds.), Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts. Springer Verlag. pp. 293-311.
Incompatible bounded category forcing axioms.David Asperó & Matteo Viale - 2022 - Journal of Mathematical Logic 22 (2).

Analytics

Added to PP
2021-05-16

Downloads
1 (#1,918,470)

6 months
1 (#1,721,226)

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?