The following pages link to (Q5277833):
Displaying 5 items.
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017 (Q1731963) (← links)
- The Frobenius condition, right properness, and uniform fibrations (Q2013548) (← links)
- Weak model categories in classical and constructive mathematics (Q3294961) (← links)
- Functional Kan Simplicial Sets: Non-Constructivity of Exponentiation (Q4580229) (← links)
- Towards a constructive simplicial model of Univalent Foundations (Q6176777) (← links)
