Pages that link to "Item:Q528519"
From MaRDI portal
The following pages link to A categorical interpretation of the intuitionistic, typed, first order logic with Hilbert's \(\varepsilon\)-terms (Q528519):
Displaying 5 items.
- On a generalization of equilogical spaces (Q1653553) (← 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)
- Dialectica principles via Gödel doctrines (Q2682930) (← links)
- Hilbert's ϵ‐operator in intuitionistic type theories (Q4304116) (← links)
