Pages that link to "Item:Q1762726"
From MaRDI portal
The following pages link to Ultrapowers as sheaves on a category of ultrafilters (Q1762726):
Displaying 5 items.
- Ultrasheaves and double negation (Q558435) (← links)
- Saturated models of intuitionistic theories (Q1887664) (← links)
- Ultrafilters, finite coproducts and locally connected classifying toposes (Q2004956) (← links)
- The strength of countable saturation (Q2402967) (← links)
- Real numbers in the topos of sheaves over the category of filters (Q5939909) (← links)