Identity and intensionality in univalent foundations and philosophy
From MaRDI portal
Publication:2695034
DOI10.1007/s11229-016-1301-zOpenAlexW2580851395WikidataQ59611972 ScholiaQ59611972MaRDI QIDQ2695034
Publication date: 30 March 2023
Published in: Synthese (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11229-016-1301-z
Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) Abstract and axiomatic homotopy theory in algebraic topology (55U35) Type theory (03B38)
Related Items (1)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The logical structure of truthmaking
- Intensionality in mathematics
- Mathematical forms and forms of mathematics: leaving the shores of extensional mathematics
- Homotopical algebra
- The algebra of topology
- ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
- TOPOLOGY AND MODALITY: THE TOPOLOGICAL INTERPRETATION OF FIRST-ORDER MODAL LOGIC
- Homotopy theoretic models of identity types
- Structuralism, Invariance, and Univalence
- Homotopy Type Theory: Univalent Foundations of Mathematics
- Higher Topos Theory (AM-170)
- Intensional interpretations of functionals of finite type I
This page was built for publication: Identity and intensionality in univalent foundations and philosophy