Pages that link to "Item:Q5159483"
From MaRDI portal
The following pages link to A PREDICATIVE VARIANT OF HYLAND’S EFFECTIVE TOPOS (Q5159483):
Displaying 4 items.
- Filtered colimits in the effective topos (Q819805) (← links)
- Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice (Q5060191) (← links)
- The compatibility of the minimalist foundation with homotopy type theory (Q6122600) (← links)
- Quotients, pure existential completions and arithmetic universes (Q6593819) (← links)
