Stefania Centrone, Deborah Kant, and Deniz Sarikaya, eds, Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory, and General Thoughts

Philosophia Mathematica 30 (1):88-102 (2022)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1093/philmat/nkab026

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 94,045

External links

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

Through your library

My notes

Similar books and articles

Stefania Centrone, Deborah Kant, Deniz Serikaya, Reflections on the Foundations of Mathematics. Univalent Foundations, Set Theory and General Thoughts, vol. 407 of Synthese Library, Springer, 2019, pp. 494+xxviii; ISBN: 978-3-030-15654-1 (Hardcover) 149.79€, ISBN: 978-3-030-15655-8 (eBook). [REVIEW]Matteo de Ceglie - forthcoming - Studia Logica:1-7.
Critical Studies/Book Reviews.Hans-Christoph Kotzsch - forthcoming - Philosophia Mathematica:nkab026.
Univalent Foundations and the Equivalence Principle.Paige North & Benedikt Ahrens - 2019 - In Stefania Centrone, Deborah Kant & Deniz Sarikaya (eds.), Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts. Springer Verlag.
Does Mathematics Need Foundations?Roy Wagner - 2019 - In Stefania Centrone, Deborah Kant & Deniz Sarikaya (eds.), Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts. Springer Verlag.
From the Foundations of Mathematics to Mathematical Pluralism.Graham Priest - 2019 - In Stefania Centrone, Deborah Kant & Deniz Sarikaya (eds.), Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts. Springer Verlag.
Introduction.Stefania Centrone - 2019 - In Stefania Centrone, Deborah Kant & Deniz Sarikaya (eds.), Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts. Springer Verlag.
Formalising Mathematics in Simple Type Theory.Lawrence Paulson - 2019 - In Stefania Centrone, Deborah Kant & Deniz Sarikaya (eds.), Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts. Springer Verlag.
Naïve Type Theory.Thorsten Altenkirch - 2019 - In Stefania Centrone, Deborah Kant & Deniz Sarikaya (eds.), Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts. Springer Verlag.
Varieties of Pluralism and Objectivity in Mathematics.Michèle Friend - 2019 - In Stefania Centrone, Deborah Kant & Deniz Sarikaya (eds.), Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts. Springer Verlag.
Foundations for the Working Mathematician, and for Their Computer.Nathan Bowler - 2019 - In Stefania Centrone, Deborah Kant & Deniz Sarikaya (eds.), Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts. Springer Verlag.

Analytics

Added to PP
2022-04-09

Downloads
12 (#1,094,846)

6 months
2 (#1,448,741)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Hans-Christoph Kotzsch
Ludwig Maximilians Universität, München (PhD)

Citations of this work

No citations found.

Add more citations

References found in this work

Structuralism, Invariance, and Univalence.Steve Awodey - 2014 - Philosophia Mathematica 22 (1):1-11.
Categories for the Working Philosopher.Elaine M. Landry (ed.) - 2017 - Oxford, England: Oxford University Press.
Set-theoretic Foundations.Penelope Maddy - 2016 - In Andrés Eduardo Caicedo, James Cummings, Peter Koellner & Paul B. Larson (eds.), Foundations of Mathematics. American Mathematical Society.

View all 12 references / Add more references