Reflections on the foundations of mathematics. Univalent foundations, set theory and general thoughts. Based on the conference on foundations of mathematics: univalent foundations and set theory, FOMUS, Bielefeld, Germany, July 18--23, 2016
DOI10.1007/978-3-030-15655-8zbMath1502.03003OpenAlexW3004168119MaRDI QIDQ2112383
No author found.
Publication date: 10 January 2023
Published in: Synthese Library (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-030-15655-8
Philosophical and critical aspects of logic and foundations (03A05) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Proceedings, conferences, collections, etc. pertaining to category theory (18-06) Type theory (03B38) Categories of fibrations, relations to (K)-theory, relations to type theory (18N45)
This page was built for publication: Reflections on the foundations of mathematics. Univalent foundations, set theory and general thoughts. Based on the conference on foundations of mathematics: univalent foundations and set theory, FOMUS, Bielefeld, Germany, July 18--23, 2016