The following pages link to Saturated models in institutions (Q992038):
Displaying 13 items.
- Functorial semantics of first-order views (Q344796) (← links)
- Properties of saturation in monotonic neighbourhood models and some applications (Q495833) (← links)
- Existence of saturated structures (Q546221) (← links)
- A categorical study on the finiteness of specifications (Q975404) (← links)
- Constructive ultraproducts and isomorphisms of recursively saturated ultrapowers (Q1203772) (← links)
- Saturated models of universal theories (Q1861531) (← links)
- Saturated models of intuitionistic theories (Q1887664) (← links)
- Criteria for exact saturation and singular compactness (Q2041960) (← links)
- Ultraproducts and possible worlds semantics in institutions (Q2373712) (← links)
- A Note on Saturated Models for Many-Valued Logics (Q3454724) (← links)
- Saturatedness in cylindric algebraic model theory (Q4340927) (← links)
- Atomic saturation of reduced powers (Q6047669) (← links)
- Partialising institutions (Q6185812) (← links)