The following pages link to (Q3001106):
Displaying 6 items.
- A categorical interpretation of the intuitionistic, typed, first order logic with Hilbert's \(\varepsilon\)-terms (Q528519) (← links)
- Triposes, exact completions, and Hilbert's \(\varepsilon\)-operator (Q1683372) (← links)
- A characterization of those categories whose internal logic is Hilbert's \(\varepsilon\)-calculus (Q1715476) (← links)
- Point-free substitution (Q1924634) (← links)
- (Q3318749) (← links)
- The Substitution Vanishes (Q3623933) (← links)