On different ways of being equal

DOI10.1007/S10670-020-00275-8MaRDI QIDQ7227937zbMATH OpenFDO

Authors Bruno Bentzen

Publication date 13 April 2026

Published in Erkenntnis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/S10670-020-00275-8

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Type theory (03B38)

Cites work

• Conceptual notation.
• Die intuitionistische Grundlegung der Mathematik.
• Function und Begriff. Vortrag.
• Grundgesetze der Arithmetik. Begriffsschriftlich abgeleitet. Bd. II.
• Homotopy type theory. Univalent foundations of mathematics
• scientific article; zbMATH DE number 3859117 (Why is no real title available?)
• scientific article; zbMATH DE number 3863160 (Why is no real title available?)
• scientific article; zbMATH DE number 3910392 (Why is no real title available?)
• scientific article; zbMATH DE number 3485716 (Why is no real title available?)
• scientific article; zbMATH DE number 3521950 (Why is no real title available?)
• scientific article; zbMATH DE number 1302059 (Why is no real title available?)
• scientific article; zbMATH DE number 1302065 (Why is no real title available?)
• scientific article; zbMATH DE number 510787 (Why is no real title available?)
• scientific article; zbMATH DE number 733403 (Why is no real title available?)
• scientific article; zbMATH DE number 1078585 (Why is no real title available?)
• scientific article; zbMATH DE number 3216178 (Why is no real title available?)
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• scientific article; zbMATH DE number 3291139 (Why is no real title available?)
• scientific article; zbMATH DE number 3333259 (Why is no real title available?)
• Over de Grondslagen der Wiskunde.
• Structuralism, Invariance, and Univalence
• UNIVERSES AND UNIVALENCE IN HOMOTOPY TYPE THEORY
• What types should not be

This page was built for publication: On different ways of being equal

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7227937)