Pages that link to "Item:Q5121795"
From MaRDI portal
The following pages link to The law of excluded middle in the simplicial model of type theory (Q5121795):
Displaying 9 items.
- Univalence in locally Cartesian closed categories (Q524707) (← links)
- Construction of the circle in \textit{UniMath} (Q2031555) (← links)
- An introduction to univalent foundations for mathematicians (Q4684362) (← links)
- EM + Ext<sub>−</sub> + AC<sub>int</sub> is equivalent to AC<sub>ext</sub> (Q4736750) (← links)
- (Q4989403) (← links)
- (Q5028425) (← links)
- (Q5089004) (← links)
- Non-accessible localizations (Q6564515) (← links)
- Topological quantum gates in homotopy type theory (Q6584358) (← links)