The following pages link to Unifying exact completions (Q2254599):
Displaying 12 items.
- On a generalization of equilogical spaces (Q1653553) (← links)
- Equilogical spaces and algebras for a double-power monad (Q1683371) (← 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)
- Consistency of the intensional level of the minimalist foundation with Church's thesis and axiom of choice (Q1756495) (← 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)
- On Choice Rules in Dependent Type Theory (Q2988806) (← links)
- Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice (Q5060191) (← links)
- On categorical structures arising from implicative algebras: from topology to assemblies (Q6145036) (← links)
