Pages that link to "Item:Q528519"

The following pages link to A categorical interpretation of the intuitionistic, typed, first order logic with Hilbert's \(\varepsilon\)-terms (Q528519):

Displaying 4 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)