Pages that link to "Item:Q1887664"
From MaRDI portal
The following pages link to Saturated models of intuitionistic theories (Q1887664):
Displaying 11 items.
- Ultrasheaves and double negation (Q558435) (← links)
- Generalising canonical extension to the categorical setting (Q714727) (← links)
- Saturated models in institutions (Q992038) (← links)
- Conceptual completeness for first-order intuitionistic logic: An application of categorical logic (Q1115868) (← links)
- A model for intuitionistic non-standard arithmetic (Q1891250) (← links)
- Ultrafilters, finite coproducts and locally connected classifying toposes (Q2004956) (← links)
- Saturated free algebras and almost indiscernible theories (Q2120438) (← links)
- An uncountably categorical theory whose only computably presentable model is saturated (Q2505131) (← links)
- Obtaining Finite Local Theory Axiomatizations via Saturation (Q2849490) (← links)
- (Q4465168) (← links)
- Models of intuitionistic TT and NF (Q4842637) (← links)