The following pages link to (Q5354752):
Displaying 5 items.
- A characterization of those categories whose internal logic is Hilbert's \(\varepsilon\)-calculus (Q1715476) (← links)
- Cubic differentials and hyperbolic convex sets (Q2509577) (← links)
- Quantitative deduction and its fixpoint theory (Q3750144) (← links)
- (Q4511297) (← links)
- An accessible calculation of the stalks of the structure sheaf of the affine scheme of an integral domain (Q6630971) (← links)