The following pages link to (Q3043147):
Displaying 8 items.
- Ultrasheaves and double negation (Q558435) (← links)
- Generalising canonical extension to the categorical setting (Q714727) (← links)
- The number of uncountable models of \(\omega\)-stable theories (Q1053673) (← links)
- An application of open maps to categorical logic (Q1055409) (← links)
- Conceptual completeness for first-order intuitionistic logic: An application of categorical logic (Q1115868) (← links)
- Completeness results for intuitionistic and modal logic in a categorical setting (Q1346248) (← links)
- Amenability, definable groups, and automorphism groups (Q1721978) (← links)
- Ultrafilters, finite coproducts and locally connected classifying toposes (Q2004956) (← links)
