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

Mathematics Subject Classification ID

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