Pages that link to "Item:Q1683372"
From MaRDI portal
The following pages link to Triposes, exact completions, and Hilbert's \(\varepsilon\)-operator (Q1683372):
Displaying 10 items.
- On a generalization of equilogical spaces (Q1653553) (← links)
- A characterization of those categories whose internal logic is Hilbert's \(\varepsilon\)-calculus (Q1715476) (← links)
- Dialectica logical principles (Q2151422) (← links)
- Elementary doctrines as coalgebras (Q2220195) (← links)
- Dialectica principles via Gödel doctrines (Q2682930) (← links)
- A characterization of generalized existential completions (Q2683780) (← links)
- Categories of partial equivalence relations as localizations (Q2699426) (← links)
- The existential completion (Q5129224) (← links)
- A PREDICATIVE VARIANT OF HYLAND’S EFFECTIVE TOPOS (Q5159483) (← links)
- On categorical structures arising from implicative algebras: from topology to assemblies (Q6145036) (← links)
