Pages that link to "Item:Q3661764"
From MaRDI portal
The following pages link to Quotients of decidable objects in a topos (Q3661764):
Displaying 5 items.
- Embedding sheaf models for set theory into Boolean-valued permutation models with an interior operator (Q1096625) (← links)
- Decidable (= separable) objects and morphisms in lextensive categories (Q1916429) (← links)
- Rensets and renaming-based recursion for syntax with bindings (Q2104549) (← links)
- (Q3671347) (← links)
- Rensets and renaming-based recursion for syntax with bindings extended version (Q6111524) (← links)